Come (e dove) si può cambiare il modello 'user @ host $:' in gnome-terminal?

Quando avvio terminale in Ubuntu, vedo:

ilya@HOST:~$

Ho bisogno di aggiungere un timestamp a questo, qualcosa del tipo:

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

Come posso configurarlo?

C'è un buon articolo su come cambiare il prompt di bash e cosa significano tutti i simboli speciali (come \ h). Ha anche un link su come cambiare i colori nel tuo prompt.

Per quanto riguarda l'applicazione delle modifiche al tuo .bashrc, esegui source ~/.bashrc

Metti questo alla fine del tuo ~/.bashrc

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

Quindi riavviare il terminale. Per spiegazioni, leggi la pagina di manuale di bash, cerca ^ PROMPTING

(scusate, la prima versione di questa risposta riportava erroneamente virgolette singole anziché doppie)

Per applicare la modifica ~ / .bashrc digitare questo all'interno del terminale in esecuzione:

exec bash

Non è necessario riavviare il terminale. Ciò è utile per ogni modifica (nell'ambiente terminale)

Trovo che una grande configurazione sia avere 3 gruppi colorati:

• nome utente e nome host
• posizione attuale
• ramo git corrente

Inoltre una nuova riga in modo da tornare alla sinistra!

vale a dire

Puoi avere tutto ciò avendo quanto segue nel tuo file .bashrc nella tua home directory.
Funziona con Unix e 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\$ '

Se lo desideri più i tuoi timestamp in quattro colori puoi avere:

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

come in:

sebbene personalmente penso che ora andrò 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\]>'

per

Per fare questo temporaneamente ma immediatamente / al volo, ad esempio in modo da poter avere un po 'di privacy mentre si effettua uno screencast, è possibile effettuare le seguenti operazioni

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

La variabile PS1 imposta il formato, l'origine applica tale impostazione leggendo da un file.

Ora la riga di comando è simile alla seguente:

$