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?

— Lijadora
fuente

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