J’ai :
ricardo@sid-sda8:~/Documents$
et je veux :
ricardo@sid-sda8:~$
J’ai porté cette ligne dans ~/.bashrc
PS1="\u@\h:$ "
mais ça ne suffit pas.
Je crois qu’il existe une commande avec ‘export’ mais je ne connais pas exactement.
PS1 au vol
$ export PS1="\A \u@\h:$ "
( ici ajouté, \A indique l’heure)
Tu peux éditer .bashrc comme tu l’entends, tu disposes du .bashrc d’origine dans /etc/skel pour pouvoir revenir à l’état originel du fichier.
Quitter le shell et en ouvrir un nouveau pour constater les changements.
ou tapesource ~/.bashrc
Merci à vous deux 
J’avais bien modifié dans .bashrc mais je n’avais pas pris la bonne ligne : le ‘if’ au lieu du ‘else’ puisque je n’ai pas de prompt en couleur.
Affaire règlée !