Come cambiare il titolo di Gnome-Terminal?

Ho diversi casi di terminali in esecuzione nel mio ambiente di lavoro, quello che vorrei è impostare un titolo specifico per ognuno di essi, al fine di avere un'idea chiara dello scopo del terminale specifico, ad esempio Apache, editing_ini, postgres ecc ...

Naturalmente dalla riga di comando.

• Il modo più intuitivo è selezionarlo dal menu Terminale -> "Imposta titolo ...".

• Esistono altri modi, tuttavia, puoi anche emettere

  gnome-terminal --title="SOME TITLE HERE"
  

  Ciò potrebbe non dare l'effetto desiderato poiché esiste una grande probabilità che il tuo .bashrccomportamento venga sovrascritto.

• Portandoci all'ultimo metodo, che ho sfacciatamente strappato dal mio .bashrc.

  PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
  

Come riferimento extra, questa è la linea particolare nella mia .bashrc

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'

Potrebbe anche essere necessario commentare questo codice nel tuo ~ / .bashrc

case "$TERM" in
xterm*|rxvt*)
    # JEFFYEE REMOVED because it makes commands to title() not work
    #PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

La risposta di Ward è ottima se vuoi impostare il tuo titolo in base all'host in cui ti trovi, ecc. Ogni volta che apri un terminale. Se vuoi solo impostare rapidamente un titolo, puoi semplicemente eseguire l'eco da solo:

echo -ne "\033]0;SOME TITLE HERE\007"

o fai una semplice funzione (dentro la tua ~/.bashrc), diciamotermtitle

termtitle() { printf "\033]0;$*\007"; }

con cui puoi correre termtitle some title here.

Se usi l'editor Vim, puoi anche abilitare questa opzione nel tuo vimrc:

:set title

che è disabilitato di default. Imposta i titoli dei terminali interessanti che mostrano il nome del file che si sta modificando al momento e alcune altre cose.

Per completezza, aggiungerei che puoi anche impostare il gnome-terminaltitolo usando questo comando:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Dovrai prima installare il pacchetto wmctrl .

Argh, tante risposte ...

Ho provato wmctrl, che ha funzionato quasi , tranne che non sono riuscito a farlo cambiare il titolo dell'icona, almeno non in modo permanente.

Il problema è che la PS1 in Bash in Ubuntu imposta il titolo.

La PS1 predefinita è

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ 

... che imposta il titolo nella prima sequenza di escape: \e]0;\u@\h: \w\a

Pertanto, ci sono due soluzioni:

Soluzione 1: semplifica PS1, quindi utilizza PROMPT_COMMAND

Cambia PS1 in qualcosa di più semplice:

PS1="\u@\h:\w\$ "

Quindi utilizzare PROMPT_COMMAND:

PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'

Soluzione 2: modifica direttamente PS1

Modifica semplicemente PS1 con il nuovo titolo:

PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Se sei un utente Ubuntu, puoi cambiare il titolo di una scheda gnome-terminal usando l' HUD .

Mentre sei nel terminale gnomo, premi Alt per visualizzare l'HUD, digita le prime lettere, ad esempio "tit", premi invio e digita il tuo nuovo titolo.

Questo è un metodo molto rapido ed evita di usare il mouse.

Un altro modo di cambiare il titolo di gnome-terminalè usando gconftool-2; ciò modifica il titolo iniziale del terminale per il profilo selezionato, in modo da poter avere profili diversi associati a titoli come 'Apache', 'Modifica', ecc. Quindi si avvia gnome-terminalcon il profilo appropriato per ottenere il titolo del terminale specificato. Ciò è in contrasto con il gnome-terminal --title "name"quale cambia il titolo per terminale, ma non influisce sul titolo iniziale specificato nel profilo.

È possibile utilizzare il seguente comando in uno script per impostare il nome del terminale per un profilo e si potrebbe avere il nome della modifica del terminale in determinate ore del giorno per ricordare le cose:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Questo è per il profilo predefinito, ma è possibile impostare il titolo anche per altri profili cambiando, ad esempio, Defaultun altro profilo come Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Ho pensato che questo modo di cambiare il titolo fosse utile a causa del modo in cui poteva essere usato negli script, o semplicemente come un modo rapido da riga di comando per impostare il titolo per il profilo. Si noti che a volte è necessario riavviare il terminale con il profilo specificato per gconftool-2rendere effettive le impostazioni. Le impostazioni complete disponibili per gnome-terminalpossono essere elencate con gconftool-2 -R /apps/gnome-terminal.

Un'altra soluzione è utilizzare xdotool per simulare sequenze di tasti, forse utile negli script:

1. Imposta una scorciatoia da tastiera in gnome-terminal:

   Edit > Keyboard Shortcuts... > Terminal > Set Title
   

   Ad esempio, valutando il Shift+Ctrl+Y.

2. Installa xdotoolse non l'hai già:

   sudo apt-get install xdotool
   

3. La seguente sequenza di comandi (che puoi usare anche in uno script bash) imposterà il titolo del terminale / tab (sfuggire agli spazi con \):

   xdotool key ctrl+shift+y 
   xdotool type My\ new\ fabulous\ title
   xdotool key Return
   

4. [opzionale] Puoi anche usare xdotool per esempio per aprire una nuova scheda e impostare il titolo con i comandi sopra, usando:

   xdotool key ctrl+shift+t
   

   Prendi in considerazione l'ipotesi di aggiungere un periodo di inattività prima e dopo l'apertura di una nuova scheda, ad es. sleep 1(Attendere 1 secondo).

Questa non è la soluzione più elegante, ma ha funzionato per me! Le risposte precedenti non hanno funzionato nel mio caso. Uso gnome-terminal in Ubuntu 14.04 e volevo creare uno script bash.

Per visualizzare solo la directory di lavoro corrente nel titolo, prova questo nel tuo '.bashrc':

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

o

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"' 

Questo ha funzionato nel mio terminale Gnome 3.18.3 .

Modifica il tuo file .bashrc e aggiungi questa funzione

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

Non dimenticare il sourcetuo file .bashrc

$ source ~/.bashrc

E poi puoi semplicemente aggiornare sarai in grado di cambiare il titolo del terminale in questo modo:

$ termtitle "MariaDB CLI"

La mia risposta è simile alla risposta più recente che non ha funzionato per me. Le risposte più vecchie non funzionano più. La risposta di vecchia data è troppo digitando, quindi ho creato una funzione nel mio ~/.bashrcfile:

function termtitle() { PS1="${PS1/\\u@\\h: \\w/$@}"; }

Dopo aver aggiunto o modificato la funzione o, se si desidera reimpostare il titolo una seconda volta, utilizzare:

. ~/.bashrc
termtitle Special Projects

Altrimenti su base giornaliera basta usare termtitlecon un nuovo titolo.

Nel caso in cui qualche povera anima come me sia costretta a usare tcsh, prova qualcosa del genere nel tuo .cshrc:

set prompt='%{\033]0;%n@%m\007%}%~%# '

Fonte e maggiori dettagli: http://tldp.org/HOWTO/Xterm-Title-4.html

Se stai usando gnome 3, la comoda Terminal > Set Titleopzione di menu è stata rimossa. Puoi installare un terminale biforcato gnome 2 che ha ancora l'opzione di menu "Imposta titolo" ed eseguirlo invece:

sudo apt-get install mate-terminal

Invece di eseguire "Terminale", eseguire "Terminale MATE". Probabilmente dovresti anche selezionare mate-terminal in sudo update-alternatives --config x-terminal-emulator.