26 votos

¿Cómo se configura el título del gnome-terminal activo desde la línea de comandos?

¿Hay alguna manera de establecer el título de gnome-terminal desde el propio terminal sin tener que hacer clic derecho en la pestaña? Algo como:

 active-terminal --title "Foo"

Anteriormente había una pregunta relacionada con una respuesta que casi le permite hacer esto: ¿Cómo cambiar el título de Gnome-Terminal? pero eso no establece el título de la pestaña de gnome-terminal solo el título de la ventana.

-1voto

Kr1stian Puntos 58

En Ubuntu 12.10 (no estoy seguro de las versiones anteriores) hay la siguiente línea en .bashrc predeterminado:

 If this is an xterm set the title to user@host:dir
 case "$TERM" in
 xterm*|rxvt*)
 PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
;;
  *)
;;
esac

Por lo tanto, para tener el título en la forma que desee, solo tiene que editar el valor de PS1 en esta parte. Si desea, por ejemplo, tener el título como el nombre del directorio actual, simplemente cambie \u@\h: a \w a \W

EnMiMaquinaFunciona.com

EnMiMaquinaFunciona es una comunidad de administradores de sistemas en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros sysadmin, hacer tus propias preguntas o resolver las de los demás.

Powered by: