Come rinominare il titolo della scheda terminale in gnome-terminal?

70

Utilizzato per poter fare clic con il tasto destro sulla scheda e modificare il titolo. Non sono più sicuro di come farlo. Appena aggiornato a Fedora 21.

EDIT: sono passato dal terminale GNOME a ROXterm

gnome-terminal

— Penner
fonte

108

Crea una funzione in ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Quindi utilizzare il nuovo comando per impostare il titolo del terminale. Funziona anche con spazi nel nome

set-title my new tab title

È possibile set-titleriutilizzarlo successivamente (la PS1 originale viene conservata come ORIG).

— Weston Ganger
fonte

32

Il user titlecodice è stato rimosso ¹ da gnome-terminal 3.14. Per impostare il titolo, è possibile utilizzare una sequenza di escape:

printf "\e]2;YOUR TITLE GOES HERE\a"

o ad es. con bash:

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

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

— don_crissti
fonte

9

Grazie per un link alle discussioni. Immagino che la risposta fosse NO. Una citazione divertente da uno dei link: "gli utenti moderni non usano i terminali". LOL.

— penner

Questo non funziona per me: Fedora 21, Bash 3.14.3.

— kdbanman,

Funziona anche su fc22 ..

— Balaji Perumal

3

Apparentemente, sta tornando ... "Sì, scusa, l'opzione --title è stata ripristinata in GNOME 3.20 (versione di marzo 2016), che abbiamo rilasciato sei mesi fa, ma Ubuntu 16.04 è stato distribuito con GNOME 3.18 (versione di settembre 2015), che aveva rimosso questa opzione ". Michael Catanzaro's 2016-09-01 18:41:45 UTC comment # 31 (dal secondo bug, 740188)

— saggio

1

@sage - non c'è funzionalità, il commento di Michael c'è --titlesull'opzione che posso confermare che è stata effettivamente ripristinata. Tuttavia, la Q qui riguarda l'opzione del tasto destro del mouse per rinominare la scheda attualmente aperta - un problema diverso ...

— don_crissti

18

Le nuove versioni di gnome-terminal hanno appena gettato via le funzionalità professionali più utili. :-(

Ho provato a installare e ottenere una versione precedente di gnome-terminal in esecuzione e ho anche confrontato le alternative.

Se terminatorè troppo esotico per te, mate-terminalè un'ottima opzione! È un fork di gnome-terminal e mantiene tutte le buone caratteristiche:

puoi aprire più schede dalla riga di comando assegnando loro titoli diversi
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
è possibile impostare una scorciatoia da tastiera (io uso Ctrl + Shift i ) per impostare nei TLE

— geekQ
fonte

Anche Guake non è una brutta variante

— Bunyk, il

1

Quando si esegue un programma residente come top o ssh, la scheda è correttamente etichettata.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

— fastrizwaan
fonte

1

Se stai usando Ubuntu 16.04 potresti dover:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Elenco questo ulteriori informazioni al link .

— Zach Pfeffer
fonte

0

metti questo in .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

— marchio
fonte

0

Come espansione sulla risposta di @Weston Ganger, se vuoi impostare automaticamente un titolo all'apertura di un nuovo terminale Gnome, aggiungi questo in fondo a ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Quindi avviare un terminale come:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

e verrà eseguito automaticamente set-titleper applicare il titolo.

— Cerin
fonte

0

soluzione a una riga, aggiungi la seguente riga nel tuo .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

ora digita tab_name nel terminale ie

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Fatto

— Sufyan
fonte