• changer le titre du terminal dynamiquement

      Dans le fichier ~/.bashrc

       

      à la ligne où il y a PS1=, ajouter :

      PS1='\033]0;\h:\w\007${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '

       

      puis :

      source ~/.bashrc

       

      Voili voilou.

 

Aucun commentaire

 

Laissez un commentaire