¿Cómo cambiar el título de Gnome-Terminal?

Tengo varias instancias de terminales ejecutándose en mi entorno de trabajo, lo que me gustaría es establecer un título específico para cada una, con el fin de tener una idea clara para qué sirve la terminal específica, es decir, Apache, edición_ini, postgres, etc.

Por supuesto desde la línea de comando.

• La forma más fácil de usar es elegirlo desde el menú Terminal -> "Establecer título ...".

• Sin embargo, hay otras formas de emitir

  gnome-terminal --title="SOME TITLE HERE"
  

  Esto podría no dar el efecto deseado ya que existe una gran posibilidad de que .bashrcsobrescriba ese comportamiento.

• Llevándonos al último método, que descaradamente saqué de mi .bashrc.

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

Como referencia adicional, esta es la línea particular en mi .bashrc

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'

También es posible que deba comentar este código en su ~ / .bashrc

case "$TERM" in
xterm*|rxvt*)
    # JEFFYEE REMOVED because it makes commands to title() not work
    #PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

La respuesta de Ward es excelente si desea establecer su título en función del host en el que se encuentra, etc., cada vez que abre una terminal. Sin embargo, si solo desea establecer un título rápidamente, puede ejecutar echo por sí mismo:

echo -ne "\033]0;SOME TITLE HERE\007"

o hacer una función simple (dentro de su ~/.bashrc), digamostermtitle

termtitle() { printf "\033]0;$*\007"; }

con el que puedes correr termtitle some title here.

Si usa el editor Vim, también puede habilitar esta opción en su vimrc:

:set title

que está deshabilitado por defecto. Establecerá títulos de terminal geniales que muestren el nombre de archivo que está editando en este momento y algunas otras cosas.

En aras de la exhaustividad, agregaría que también puede establecer el gnome-terminaltítulo con este comando:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Primero deberá instalar el paquete wmctrl .

Argh, tantas respuestas ...

Lo intenté wmctrl, lo que casi funcionó, excepto que no pude cambiar el título del ícono, al menos no permanentemente.

El problema es que la PS1 en Bash en Ubuntu establece el título.

La PS1 predeterminada es

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ 

... que establece el título en la primera secuencia de escape: \e]0;\u@\h: \w\a

Por lo tanto, hay dos soluciones:

Solución 1: simplifique PS1, luego use PROMPT_COMMAND

Cambia PS1 a algo más simple:

PS1="\u@\h:\w\$ "

Luego use PROMPT_COMMAND:

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

Solución 2: modifique directamente PS1

Simplemente modifique PS1 con un nuevo título:

PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Si es un usuario de Ubuntu, puede cambiar el título de una pestaña gnome-terminal usando el HUD .

Mientras esté en la terminal gnome, presione Alt para que aparezca el HUD, escriba las primeras letras, por ejemplo, "tit", presione enter y escriba su nuevo título.

Este es un método muy rápido y evita usar el mouse.

Otra forma de cambiar el título de gnome-terminales mediante el uso de gconftool-2; esto cambia el título inicial del terminal para el perfil seleccionado, por lo que podría tener diferentes perfiles asociados con títulos como 'Apache', 'Edición', etc. Luego, iniciaría gnome-terminalcon el perfil apropiado para obtener el título del terminal que había especificado. Esto contrasta con lo gnome-terminal --title "name"que cambia el título por terminal, pero no afecta el título inicial especificado en el perfil.

Puede usar el siguiente comando en un script para establecer el nombre de la terminal para un perfil, y puede hacer que cambie el nombre de la terminal en ciertos momentos del día para recordarle cosas:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Esto es para el perfil predeterminado, pero también puede establecer el título para otros perfiles cambiando, por ejemplo, Defaulta otro perfil como Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Pensé que esta forma de cambiar el título es útil debido a la forma en que podría usarse en las secuencias de comandos, o simplemente como una forma rápida de línea de comandos para establecer el título para el perfil. Tenga en cuenta que a veces tiene que reiniciar el terminal con el perfil especificado para que la gconftool-2configuración surta efecto. La configuración completa disponible para gnome-terminalse puede enumerar con gconftool-2 -R /apps/gnome-terminal.

Otra solución es usar xdotool para simular pulsaciones de teclas, tal vez útil en scripts:

1. Establecer un atajo de teclado en gnome-terminal:

   Edit > Keyboard Shortcuts... > Terminal > Set Title
   

   Por ejemplo, evaluando el Shift+Ctrl+Y.

2. Instale xdotoolsi aún no lo tiene:

   sudo apt-get install xdotool
   

3. La siguiente secuencia de comandos (que puede usar también en un script bash) establecerá el título de la terminal / pestaña (escape de los espacios con \):

   xdotool key ctrl+shift+y 
   xdotool type My\ new\ fabulous\ title
   xdotool key Return
   

4. [opcional] También puede usar xdotool para, por ejemplo, abrir una nueva pestaña y establecer el título con los comandos anteriores, usando:

   xdotool key ctrl+shift+t
   

   Considere agregar un tiempo de sueño antes y después de abrir una nueva pestaña, por ejemplo sleep 1(para esperar 1 segundo).

Esta no es la solución más elegante, ¡pero funcionó para mí! Las respuestas anteriores no funcionaron en mi caso. Uso gnome-terminal en Ubuntu 14.04 y quería hacer un script bash.

Para mostrar solo el directorio de trabajo actual en el título, intente esto en su '.bashrc':

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

o

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"' 

Esto funcionó en mi Gnome Terminal 3.18.3 .

Edite su archivo .bashrc y agregue esta función

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

No olvides sourcetu archivo .bashrc

$ source ~/.bashrc

Y luego simplemente puede actualizar, podrá cambiar el título del terminal de esta manera:

$ termtitle "MariaDB CLI"

Mi respuesta es similar a la nueva respuesta que no funcionó para mí. Las respuestas más antiguas ya no funcionan. La respuesta antigua es escribir demasiado, así que creé una función en mi ~/.bashrcarchivo:

function termtitle() { PS1="${PS1/\\u@\\h: \\w/$@}"; }

Después de agregar o cambiar la función o, si desea restablecer el título por segunda vez, use:

. ~/.bashrc
termtitle Special Projects

De lo contrario, a diario, simplemente use termtitlecon un nuevo título.

En caso de que las almas pobres como yo se vean obligadas a usar tcsh, intente algo como esto en su .cshrc:

set prompt='%{\033]0;%n@%m\007%}%~%# '

Fuente y más detalles: http://tldp.org/HOWTO/Xterm-Title-4.html

Si está utilizando gnome 3, la Terminal > Set Titleopción de menú conveniente se ha eliminado. Puede instalar un terminal bifurcado gnome 2 que todavía tiene esa opción de menú "Establecer título" y ejecutarlo en su lugar:

sudo apt-get install mate-terminal

En lugar de ejecutar "Terminal", ejecute "Terminal MATE". Probablemente también deberías seleccionar mate-terminal in sudo update-alternatives --config x-terminal-emulator.