Ubuntu 15.04 nuova installazione: Impossibile rinominare le schede gnome-terminal

In Ubuntu 14.10, se avessi più schede Terminale aperte, potrei fare clic con il tasto destro su una scheda Terminale e rinominarla. In Ubuntu 15.04 non riesco a trovare questa funzione.

C'è un modo semplice per riaverlo?

Questa è la versione attuale:

$ gnome-terminal --version
GNOME Terminal 3.14.2

Risposto qui

Quoto:

Il user titlecodice è stato rimosso ¹ da gnome-terminal 3.14. C'è solo un modo per impostare il titolo, usando una sequenza di escape - ad esempio con bash:

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

---

^{1: vedi bug 724110 di gnome e bug 740188 di gnome .}

La .bashrcsoluzione proposta da Kirby ha funzionato per me:

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

quindi dal mio prompt: $ set-title test-title

Non riesco a credere che abbiano rimosso una funzionalità così intuitiva come questa.

Sto passando a ROXTerm ( http://roxterm.sourceforge.net ), che fa bene il lavoro. È confezionato in Ubuntu:

sudo apt-get install roxterm

Quindi, lascia che il dinosauro continui a modo suo ;-)

Ho provato RoxTerm come suggerito sopra, con buoni risultati. Ma ho optato per il Terminal MATE, che fa parte del Progetto MATE, una continuazione di Gnome 2, il 15.04:

sudo apt-get install mate-terminal

Quel terminale si basa sul codice Terminale di Gnome.

Commento: è difficile comprendere la mentalità degli sviluppatori di Gnome Terminal. Ci sono molte discussioni laggiù su "come" nominare le schede dei terminali e su come sia difficile ottenere il giusto. In tal caso, perché è più difficile per l'utente nominarli? Non molto intelligente.

Ora ho studiato questo per la parte migliore di una giornata e finalmente ho trovato il modo di impostare questo titolo. Viene eseguito tramite sequenze di escape che iniziano con \ e] 0; e termina con un carattere BEL (= \ 007 = \ a). A differenza di quanto ho detto sopra, le comunicazioni dalla shell all'applicazione terminale sono possibili, molto limitate, attraverso tali sequenze di escape (ce ne sono altre).

A proposito di questo dall'alto:

PROMPT_COMMAND='echo -ne "\e]0;YOUR TITLE GOES HERE\a"'

Si può lavorare, ma non sempre. PROMPT_COMMANDè una variabile il cui contenuto viene eseguito ogni volta che si invia un comando, quindi invia anche questa sequenza di escape. Tuttavia, questo può essere annullato da una sequenza di escape nella variabile PS1, che imposta il prompt della riga di comando. Questo è il motivo per cui quanto sopra non ha avuto effetto qui.

Da una vecchia installazione di Ubuntu ho preso questo, che imposta il prompt dei comandi (parte destra, dopo il ]) e invia anche la sequenza di escape richiesta (parte sinistra, fino a e incluso il ]):

PS1="\[\e]0;\u@\h: \w\a\]\u@\h:\w\$ "

Questo probabilmente funziona meglio, perché non c'è bisogno di interpretare $PROMPT_COMMANDogni volta. Ha anche molte più opzioni, perché Bash ha più sequenze di escape qui, ad esempio \uper il nome utente corrente, \Wper il nome della directory corrente o \wper l'intero percorso della directory di lavoro corrente, facoltativamente ridotto a solo gli ultimi dal numero in $PROMPT_DIRTRIM. Vedi capitolo PROMPTINGnella pagina man di Bash. Si noti inoltre che la sequenza di escape deve inoltre essere circondata da \[e \]qui.

Per impostare un titolo fisso, funziona:

PS1="\[\e]0;YOUR TITLE GOES HERE\a\]\u@\h:\w\$ "

Godere!

Durante la mia indagine ho anche cercato di capire il codice sorgente di gnome-terminal, che porta al codice sorgente vte e lì il supporto per l'impostazione del titolo e la lettura delle sequenze di escape è considerato un rischio per la sicurezza: vedi qui (caso 20, caso 21) e qui ("Rapporti sul titolo della finestra").

L'impostazione di $ PROMPT_COMMAND come mostrato sopra non ha alcun effetto qui. Nessuna sorpresa, perché Bash gira all'interno del terminale e i processi parent (qui: gnome-terminal) non possono leggere l'ambiente di un bambino su un sistema operativo simile a unix. Usando qualcosa di più semplice, come

PROMPT_COMMAND='echo bla'

Esegue l' eco bla , non succede nient'altro.

Modifica: uno deve avvolgere questo in sequenze di escape, vedere la mia altra risposta. Nonostante non sia possibile leggere l'ambiente figlio, attraverso queste sequenze è possibile comunicare con il genitore.

Nel bug 740188 di Gnome parlano della definizione di una funzione title () in .bashrc. Uno diverso per ogni scheda aperta? Grave brutto attacco, se possibile affatto!

Anche altre spiegazioni su Stackexchange parlano dell'impostazione di $ PS1 (e vengono valutate). Siamo spiacenti, no, non è questo il titolo, è il prompt dei comandi.

In breve: l'hanno incasinato irreparabilmente per risparmiare un po 'di spazio nella finestra di dialogo delle preferenze. Oh mio Dio

Ora, l'unica possibilità per ottenere una decisione dello sviluppatore è quella di accendere una tempesta di merda grave, altrimenti chiudono semplicemente la tua segnalazione di bug in pochi secondi (provata molte molte molte volte). Come creeremmo questa tempesta di merda?