Gnome: cambia il titolo del terminale corrente dalla riga di comando bash

9

So che ci sono opzioni per avviare un nuovo terminale con un titolo specifico, ed è possibile cambiare il titolo da un terminale usando il menu: 'Terminale' -> Imposta titolo.

Tuttavia, voglio cambiarlo per un terminale corrente dalla riga di comando. Come posso cambiare il titolo di un terminale Gnome esistente dalla riga di comando?

— Levigatrice
fonte

13

Emette una sequenza di escape xterm adatta.

echo -ne '\033]0;New title\007'

Vedi anche Come cambiare il titolo di un xterm .

— tripleee
fonte

Perfetto, tutto qui! : D Inoltre, grazie per il link molto interessante.

— Sander,

Bello, ma è compatibile multipiattaforma?

— l0b0

1

@tripleee: di solito si consiglia di utilizzare i tputcomandi per stampare tali sequenze di escape, come indicato in questo duplicato esatto .

— l0b0

1

@triplee Grazie per l'input! Tuttavia, non considero questa domanda come un duplicato esatto di quello che hai menzionato. Il contesto dell'altra domanda è molto diverso.

— Sander,

2

Questo sembra non funzionare più

— Kapad,

0

Potrebbe valere la pena provare KDE. Ha finestre terminali a schede e ogni scheda può essere nominata semplicemente facendo clic destro sulla scheda.

— Scott C Wilson
fonte

Grazie per il tuo suggerimento, tuttavia, sono ancora affezionato a Gnome :)

— Sander,

0

Se è necessario impostarlo sul nome host in cui si è effettuato l'accesso, è possibile utilizzare:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"

— Benjamin Goodacre
fonte

0

Se stai usando Ubuntu 16.04 potresti dover cancellare PS1 e PROMPT_COMMAND come:

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

Ho messo insieme una scrittura su di esso al link .

— Zach Pfeffer
fonte