nombre terminal / pestañas

Respuestas:

11

Puede usar la solución de @bubu, o puede hacer clic derecho en la pestaña, seleccionar "Inspeccionar pestaña" y establecer el título desde allí.

— Wuffers
fuente
55
O presione Cmd-Ipara obtener el inspector.
— Daniel Beck
2
Shift-Command-I (Shell> Editar título) también muestra el Inspector y se asegurará de que seleccione el panel de información.
— Chris Page
1
A partir de Mac OS X Lion 10.7, el Inspector de Terminal también admite la configuración del título de la pestaña por separado del título de la ventana.
— Chris Page
14

Bien. 

echo -n -e "\ 033] 0; en Rusia soviética, la barra de título te pone \ 007"

establecerá su título en "En Rusia soviética, la barra de título lo establece"

— bubu
fuente
3
O, incluso más corto, puede usar en echo -nelugar de echo -n -e.
— Wuffers
1
Me parece que los chistes de Rusia soviética no son bien recibidos aquí ...
— bubu
55
Tenga en cuenta que "0" establece tanto la ventana como el título de la pestaña. A partir de Mac OS X Lion 10.7, puede configurarlos de forma independiente, utilizando "1" (título de la pestaña) y "2" (título de la ventana).
— Chris Page
3
Recomiendo usar printf en lugar de echo, porque es más simple y más portátil (la opción "-n" no está definida en POSIX):printf '\e]0;...\a'
— Chris Page
2
Si está interesado en cómo funciona esto, utiliza una secuencia de escape XTerm (también conocida como secuencia de control). Una lista completa de secuencias está disponible aquí .
— TachyonVortex
2

Si haces esto con frecuencia, puedes hacer que la respuesta de @ bubu sea una función en tu bash_profile, así:

tab() {
    echo -ne "\033]0;$*\007"   
}

Y luego simplemente llámalo seguido del nombre de la pestaña, por ejemplo tab Tab Title with Spaces!

— Stuart Douglas
fuente
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.