Changer le prompt du terminal dans Mac OS X

Vous avez certainement du remarquer que le prompt du terminal d’OS X change en fonction de l’environnement réseau. Vous pouvez ainsi vous retrouver avec des trucs de ce genre :

univ-paris-IV-DHCP-192.168.23.12:~ Buzut$ 

Je trouve ça un peu désagréable d’avoir ces changements dans mon terminal. Je vous propose donc de choisir le texte que vous voulez afficher et de le « fixer » une bonne fois.

Pour cela, il faut éditer votre .bash_profile, lequel se trouve dans votre home :

# nano ~/.bash_profile

# prompt minimaliste --> $
export PS1="$ "

# prompt avec le user --> Buzut$
export PS1="\u$ "

# prompt avec user et dossier courant --> Buzut:/etc$ 
export PS1="\u:\w$ "

De nombreuses variables existent, en voici la liste :

\a
Le caractère qui déclenche le buit « cloche » du terminal (le bell character)
\A
L’heure
\d
La date au format WW MMM dd
\D {format}
Date formaté via strftime(3)
\e
Caractère d’échappement
\H
Nom d’hôte
\h
Nom d’hôte jusqu’au premier « . »
\j
Nombre de tâches actuellement géré par le shell
\l
Nom du terminal actuel (ex : ttys001)
\n
Retour à la ligne (CRLF)
\r
Retour à la ligne (CR)
\s
Nom du shell (bash etc)
\T
L’heure au format HH:MM:SS (24h)
\t
L’heure au format HH:MM:SS (12h)
\@
L’heure au format a.m./p.m.
\u
Nom de l’utilisateur courant
\v
Version du shell (ex : 2.00)
\V
La release of bash avec patch (ex : 2.00.0)
\w
Le chemin vers le répertoire courant
\W
Le répertoire courant

Il ne vous reste plus qu’à recharger la configuration avec source ~/.bash_profile ou à ouvrir un nouveau terminal.

Déjà 4 réponses, rejoignez la discussion !

  • Buzut

    dit :

    C’est avec joie ! D’autant plus qu’au prochain formatage, quand je ne m’en souviendrai plus, je me féliciterai d’avoir écrit ça :D

  • Bonjour
    Je trouve les couleurs de votre Terminal particulièrement sympa.
    J’ai pas trouvé de tuto clair pour les changer.
    Pourriez-vous expliquer les modifications que vous avez opérées ? Dans un article ?
    Ce serait super !
    Merci !

  • Buzut

    dit :

    Hello,

    les couleurs sur le site ne sont pas celles que j’ai dans le terminal du Mac. Pour changer les couleurs du terminal, il existe des profils : Terminal > préférences > profils. Ensuite, à partir de là il est possible de configurer encore plus finement au besoin !
    Tchô

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *