Pour ceux que cela intéresserait, voici un petit aperçu de ce qui est possible de faire au niveau de la personnalisation de l'invite de commande du terminal :
Pour mettre des couleurs dans votre invite de commande la démarche à suivre est la suivante :
- éditez le fichier .bashrc qui se trouve à la racine, si il n'existe pas vous pouvez le créer.
- dans celui-ci écrivez ce qui suit :
# ----------------------------------------------------------------------
# Définition des couleurs possibles
# ----------------------------------------------------------------------
# couleurs de base
rouge="\[\033[31m\]"
vert="\[\033[32m\]"
jaune="\[\033[33m\]"
bleu="\[\033[34m\]"
magenta="\[\033[35m\]"
blanc="\[\033[00m\]"
# couleurs brillantes
h_rouge="\[\033[1;31m\]"
h_vert="\[\033[1;32m\]"
h_jaune="\[\033[1;33m\]"
h_bleu="\[\033[1;34m\]"
h_magenta="\[\033[1;35m\]"
h_blanc="\[\033[1;00m\]"
# ----------------------------------------------------------------------
# Définition du prompt en couleur
# ----------------------------------------------------------------------
PS1="$magenta\t$blanc $vert\u$blanc@$jaune\h$blanc:$blanc\w$blanc $rouge\#$blanc\$ "
Quittez le fichier .bashrc en le sauvegardant et fermez votre terminal.
Vous pouvez relancer le terminal, votre invite de commande devrait être un peu plus jolie.
Ceci n'est qu'une personnalisation très basique du terminal et de l'invite de commande, il existe un très grand nombre de modification possible.
Le fichier .bashrc est également un fichier très précieux, il peut réaliser des miracles, n'hésitez pas à faire des recherches sur le net 😛
Bye.
