¿Cómo (y dónde) se puede cambiar el patrón 'user @ host $:' en gnome-terminal?

Cuando comienzo la terminal en Ubuntu, veo:

ilya@HOST:~$

Necesito agregar una marca de tiempo a esto, algo como:

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

¿Cómo puedo configurar esto?

Hay un buen artículo sobre cómo cambiar el indicador de bash y qué significan todos los símbolos especiales (como \ h). También tiene un enlace sobre cómo cambiar los colores en su solicitud.

En cuanto a la aplicación de los cambios en su .bashrc, simplemente ejecute source ~/.bashrc

Pon esto al final de tu ~/.bashrc

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

Luego reinicie su terminal. Para explicaciones, lea la página del manual de bash, busque ^ PROMPTING

(lo siento, la primera versión de esta respuesta informó citas erróneamente simples en lugar de dobles)

Para aplicar el cambio ~ / .bashrc, escriba esto dentro del terminal en ejecución:

exec bash

No es necesario reiniciar el terminal. Esto es útil para cada cambio (en el entorno del terminal)

Me parece que una gran configuración es tener 3 grupos coloreados:

• nombre de usuario y nombre de host
• ubicación actual
• rama actual de git

¡Además de una nueva línea para volver al lado izquierdo!

es decir

Puede tener todo esto teniendo lo siguiente en su archivo .bashrc en su directorio de inicio.
Funciona para Unix y 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 desea esto más sus marcas de tiempo en cuatro colores, puede tener:

$ 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\$ '

como en:

aunque personalmente creo que ahora iré con:

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\]>'

para

Para hacer esto temporalmente pero de manera inmediata / sobre la marcha, por ejemplo, para que pueda tener algo de privacidad mientras realiza un screencast, puede hacer lo siguiente

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

La variable PS1 establece el formato, la fuente aplica esa configuración leyendo un archivo.

Ahora la línea de comando se ve así:

$