Terminal : changer la couleur du prompt

Le prompt est cette chaîne de caractères affichée en en-tête de chaque ligne de commande. Il est habituellement de la forme :

user@hostname:/$ pour un utilisateur
root@hostname:/# pour le compte root

Pour personnaliser sa couleur, ca se passe dans le fichier ~/.bashrc

Editer le fichier .bashrc du compte en cours d’utilisation :
vi ~/.bashrc

et décommenter la ligne :

force_color_prompt=yes

un peu plus bas, repérer les deux lignes :

if [ "$color_prompt" = yes ]; then
    PS1='${debian_chroot:+($debian_chroot)}\[33[01;31m\]\u@\h\[33[00m\]:\[33[01;34m\]\w\[33[00m\]\$ '

La couleur de chaque élément du prompt est fixée par les codes indiqués en gras. Ici, [01;31m\] pour la couleur de user@hostname et ensuite [01;34m\] pour la couleur du répertoire en cours.

Il suffit alors de remplacer ces valeurs par un autre code couleur :

[00;30m\] noir
[00;31m\]rouge
[00;32m\] vert
[00;33m\] marron
[00;34m\] bleu
[00;35m\] violet
[00;36m\] cyan
[00;37m\] gris
[01;30m\] gris
[01;31m\] rose
[01;32m\] vert
[01;33m\] marron
[01;34m\] bleu clair
[01;35m\] violet
[01;36m\]cyan
[01;37m\] blanc

Ensuite, il suffit de sauvegarder et d’ouvrir un nouvel onglet du terminal (ctrl + shift + t) pour voir le résultat.

2 réflexions au sujet de « Terminal : changer la couleur du prompt »

  1. Attention, le code couleur n’est pas le bon. 33=jaune, 37=blanc et le 01 ne change pas la couleur mais la met en gras.

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s