R2dev.fr
R&R Developpements
en es

Changer le titre de gnome terminal sous debian

Il suffit de placer les deux variables PS1 et PROMPT_COMMAND de la manière suivante:

PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

PROMPT_COMMAND='echo -ne "\033]0;MON_TITRE\007"'


--
Dernière mise à jour : juin 2012

© R&R 2017