Comment (et où) peut-on changer le modèle 'user @ host $:' dans gnome-terminal?

Lorsque je démarre un terminal dans Ubuntu, je vois:

ilya@HOST:~$

Je dois ajouter un horodatage à cela, quelque chose comme:

2011-10-09T09:32:00 ilya@HOST:~$

Comment puis-je configurer cela?

Il y a un bon article sur la façon de changer votre invite bash et ce que signifient tous les symboles spéciaux (comme \ h). Il contient également un lien sur la façon de modifier les couleurs dans votre invite.

En ce qui concerne l'application des modifications dans votre .bashrc, exécutez simplement source ~/.bashrc

Mettez cela à la fin de votre ~/.bashrc

PS1="\D{%F}T\t $PS1"

Redémarrez ensuite votre terminal. Pour des explications, lisez la page de manuel de bash, recherchez ^ PROMPTING

(désolé, la première version de cette réponse a signalé des guillemets simples par erreur au lieu de doubles)

Pour appliquer la modification ~ / .bashrc, saisissez-la dans le terminal en cours d'exécution:

exec bash

Pas besoin de redémarrer le terminal. Ceci est utile pour chaque changement (dans l'environnement terminal)

Je trouve qu'une excellente configuration consiste à avoir 3 groupes colorisés:

• nom d'utilisateur et nom d'hôte
• localisation actuelle
• branche git actuelle

Plus une nouvelle ligne pour que vous soyez de retour sur le côté gauche!

c'est à dire

Vous pouvez avoir tout cela en ayant ce qui suit dans votre fichier .bashrc dans votre répertoire personnel.
Fonctionne pour Unix et OS X

parse_git_branch () {
  git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/ (\1)/'
}
PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;33m\]$(parse_git_branch)\[\033[00m\]\n\$ '

Si vous le souhaitez, plus vos horodatages en quatre couleurs, vous pouvez avoir:

$ PS1='\033[01;31m\] \D{%F} \t \[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;33m\]$(parse_git_branch)\[\033[00m\]\n\$ '

un péché:

mais personnellement, je pense que je vais maintenant aller avec:

parse_git_branch () {
  git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/'
}
PS1='\033[01;31m\]\t\033[00m\]:'
PS1=$PS1'\[\033[01;32m\]\u@\h\[\033[00m\]:'
PS1=$PS1'\[\033[01;34m\]\w\033[00m\]:\033[01;33m\]$(parse_git_branch)\[\033[00m\]\n\$ '
PS2='\[\033[01;36m\]>'

pour

Pour ce faire, temporairement mais immédiatement / à la volée, par exemple afin que vous puissiez avoir une certaine confidentialité lors de la création d'un screencast, vous pouvez effectuer les opérations suivantes

echo PS1='$\ ' > /tmp/ps1 && source /tmp/ps1 && rm /tmp/ps1

La variable PS1 définit le format, la source applique ce paramètre en lisant un fichier.

Maintenant, la ligne de commande ressemble à ceci:

$