Gnome: cambia el título del terminal actual desde la línea de comando bash

9

Sé que hay opciones para iniciar una nueva terminal con un título específico, y que es posible cambiar el título de una terminal usando el menú: 'Terminal' -> Establecer título.

Sin embargo, quiero cambiarlo por un terminal actual desde la línea de comandos. ¿Cómo puedo cambiar el título de un terminal Gnome existente desde la línea de comandos?

bash gnome ubuntu-11.04 gnome-terminal Lijadora
fuente

Respuestas:

13

Salida de una secuencia de escape xterm adecuada.

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

Vea también Cómo cambiar el título de una xterm .

tripleee
fuente
Perfecto, eso es todo! : D Además, gracias por el enlace muy interesante.
Sander
Bien, pero ¿es compatible con plataformas cruzadas?
l0b0
1
@tripleee: por lo general, se recomienda usar tputcomandos para imprimir tales secuencias de escape, como se menciona en este duplicado exacto .
l0b0
1
@triplee ¡Gracias por el aporte! Sin embargo, no considero esta pregunta como un duplicado exacto de la que mencionaste. El contexto de la otra pregunta es muy diferente.
Sander
2
Esto ya no parece funcionar
kapad
0

Puede valer la pena probar KDE. Tiene ventanas de terminal con pestañas, y cada pestaña se puede nombrar simplemente haciendo clic derecho en la pestaña.

Scott C Wilson
fuente
Gracias por su sugerencia, sin embargo, todavía me gusta Gnome :)
Sander
0

Si necesita establecerlo en el nombre de host donde ha iniciado sesión, puede usar:

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

Si está utilizando Ubuntu 16.04, es posible que necesite borrar la PS1 y PROMPT_COMMAND como:

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

Redacté un artículo sobre él en el enlace .

Zach Pfeffer
fuente