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.
command-line
gnome-terminal
titlebar
top-less
fuente
fuente
gnome-terminal --load-config
junto con este script que he escrito.# set title of current terminal setTerminalTitle(){ echo -ne "\033]0;${1}\007" } alias termttl=setTerminalTitle
ahora puede usar el alias termttl para configurar el título, por ejemplotermttl askubuntu
gnome-terminal
predeterminado de Gnome3 esPROMPT_COMMAND=__vte_prompt_command
. Esto usa valores de Perfiles en prefs. Cuando existen varios perfiles, los elementos del menú Nueva pestaña y Nueva ventana tienen un elemento de submenú para cada Perfil. La forma manual es para abrir una pestaña nueva terminal, haga clic derecho en el título de la pestaña y seleccione Conjunto Título ... . (Esto sería mucho más fácil en una respuesta por separado, pero ...)Respuestas:
La forma más fácil de usar es elegirlo desde el menú Terminal -> "Establecer título ...".
Sin embargo, hay otras formas de emitir
Esto podría no dar el efecto deseado ya que existe una gran posibilidad de que
.bashrc
sobrescriba ese comportamiento.Llevándonos al último método, que descaradamente saqué de mi
.bashrc
.Como referencia adicional, esta es la línea particular en mi
.bashrc
También es posible que deba comentar este código en su ~ / .bashrc
fuente
PROMPT_COMMAND
es un programa para ejecutar.PS1
yPS1
son cadenas de texto que se muestran. En el ejemplo anterior, el comando que se ejecuta esecho
, que simplemente imprime una cadena. Verman bash
o manpages.ubuntu.com/bash para más detalles.Option "--title" is no longer supported in this version of gnome-terminal.
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:
o hacer una función simple (dentro de su
~/.bashrc
), digamostermtitle
con el que puedes correr
termtitle some title here
.fuente
function set_title() { echo -ne "\033]0;${1}\007" } alias title=set_title
y luego usar:$ title term_title
$var_log
y${var}_log
son cosas muy diferentes, y la diferencia puede causar errores en los scripts.unset PROMPT_COMMAND
oexport PROMPT_COMMAND='printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "$(basename $PWD)"'
Si usa el editor Vim, también puede habilitar esta opción en su vimrc:
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.
fuente
En aras de la exhaustividad, agregaría que también puede establecer el
gnome-terminal
título con este comando:Primero deberá instalar el paquete wmctrl .
fuente
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
... 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:
Luego use PROMPT_COMMAND:
Solución 2: modifique directamente PS1
Simplemente modifique PS1 con un nuevo título:
fuente
]0;
tu código? Creo que he encontrado el significado deecho -e '\007 \033'
laascii -o
orden ... aunque no estoy seguro de lo que la verdad está haciendo allí, ya sea ... gracias ...\e
o\033
es el carácter de escape (ESC), que inicia una secuencia de escape.]
inicia un comando del sistema operativo (OSC). Para un xterm,0;
significa "establecer el título", y\a
o\007
es el carácter de campana (BEL) que termina el OSC. Más información: en.wikipedia.org/wiki/ANSI_escape_code#Escape_sequences\e
y\a
) para\033
y\007
pero no pude encontrarlas ciertamente porque no sabía las palabras clave correctas para escribir en google. El enlace que diste también es útil. ¿Puedes por favor convertir tu comentario en una respuesta?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.
fuente
F2
tecla también evita el mouse.Otra forma de cambiar el título de
gnome-terminal
es mediante el uso degconftool-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íagnome-terminal
con el perfil apropiado para obtener el título del terminal que había especificado. Esto contrasta con lognome-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:
Esto es para el perfil predeterminado, pero también puede establecer el título para otros perfiles cambiando, por ejemplo,
Default
a otro perfil comoProfile0
: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-2
configuración surta efecto. La configuración completa disponible paragnome-terminal
se puede enumerar congconftool-2 -R /apps/gnome-terminal
.fuente
Otra solución es usar xdotool para simular pulsaciones de teclas, tal vez útil en scripts:
Establecer un atajo de teclado en gnome-terminal:
Por ejemplo, evaluando el
Shift+Ctrl+Y
.Instale
xdotool
si aún no lo tiene: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
\
):[opcional] También puede usar xdotool para, por ejemplo, abrir una nueva pestaña y establecer el título con los comandos anteriores, usando:
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.
fuente
Para mostrar solo el directorio de trabajo actual en el título, intente esto en su '.bashrc':
o
fuente
Esto funcionó en mi Gnome Terminal 3.18.3 .
Edite su archivo .bashrc y agregue esta función
No olvides
source
tu archivo .bashrcY luego simplemente puede actualizar, podrá cambiar el título del terminal de esta manera:
fuente
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
~/.bashrc
archivo:Después de agregar o cambiar la función o, si desea restablecer el título por segunda vez, use:
De lo contrario, a diario, simplemente use
termtitle
con un nuevo título.fuente
En caso de que las almas pobres como yo se vean obligadas a usar tcsh, intente algo como esto en su .cshrc:
Fuente y más detalles: http://tldp.org/HOWTO/Xterm-Title-4.html
fuente
Si está utilizando gnome 3, la
Terminal > Set Title
opció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:En lugar de ejecutar "Terminal", ejecute "Terminal MATE". Probablemente también deberías seleccionar mate-terminal in
sudo update-alternatives --config x-terminal-emulator
.fuente