¿Cómo cambiar el nombre del título de la pestaña terminal en gnome-terminal?

70

Solía poder hacer clic derecho en la pestaña y cambiar el título. Ya no estoy seguro de cómo hacer esto. Acabo de actualizar a Fedora 21.

EDITAR: He cambiado de gnome-terminal a ROXterm

gnome-terminal Penner
fuente

108

Crea una función en ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Luego use su nuevo comando para establecer el título del terminal. También funciona con espacios en el nombre

set-title my new tab title

Es posible usarlo set-titlenuevamente nuevamente (la PS1 original se conserva como ORIG).

Weston Ganger
fuente

32

El user titlecódigo fue eliminado ¹ de gnome-terminal 3.14. Para establecer el título, puede usar una secuencia de escape:

printf "\e]2;YOUR TITLE GOES HERE\a"

o por ejemplo con bash:

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

^{1: vea el error gnome 724110 y el error gnome 740188 .}

don_crissti
fuente

9

Gracias por un enlace a las discusiones. Supongo que la respuesta a esto fue NO. Una cita divertida de uno de los enlaces: "los usuarios modernos no usan terminales". Jajaja

Penner

Esto no funciona para mí: Fedora 21, Bash 3.14.3.

kdbanman

Funciona en fc22 también ..

Balaji Perumal

3

Aparentemente, está regresando ... "Sí, lo siento, la opción --title se restaura en GNOME 3.20 (versión de marzo de 2016), que lanzamos hace medio año, pero Ubuntu 16.04 se envió con GNOME 3.18 (versión de septiembre de 2015), que había eliminado esta opción ". Michael Catanzaro 2016-09-01 18:41:45 UTC comentario # 31 (del segundo error, 740188)

sabio

1

@sage: no hay ninguna característica, el comentario de Michael es sobre la --titleopción que puedo confirmar que efectivamente fue restaurada. Sin embargo, la Q aquí se trata de la opción del botón derecho para cambiar el nombre de la ficha abierta - una cuestión diferente ...

don_crissti

18

Las nuevas versiones de gnome-terminal simplemente desechan las funciones profesionales más útiles. :-(

Intenté configurar y obtener una versión anterior de gnome-terminal en ejecución y también comparé alternativas.

Si terminatores demasiado exótico para ti, ¡ mate-terminales una gran opción! Es una bifurcación de gnome-terminal y solo conserva todas las buenas características:

puedes abrir varias pestañas desde la línea de comando dándoles títulos diferentes
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
puede configurar un atajo de teclado (yo uso Ctrl + Shift- i ) para poner en i TLE

geekQ
fuente

Guake tampoco es una mala variante

Bunyk

1

Cuando ejecuta un programa residente como top o ssh, la pestaña está debidamente etiquetada.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

fastrizwaan
fuente

1

Si está utilizando Ubuntu 16.04, es posible que deba:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Enumero esto y más información al respecto en el enlace .

Zach Pfeffer
fuente

0

poner esto en .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

marca
fuente

0

Como una expansión en la respuesta de @Weston Ganger, si desea establecer automáticamente un título al abrir un nuevo terminal Gnome, agregue esto al final de su ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Luego inicie una terminal como:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

y se ejecutará automáticamente set-titlepara aplicar el título.

Cerin
fuente

0

solución de una línea, agregue la siguiente línea en su .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

ahora escriba tab_name en la terminal, es decir

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Hecho

Sufyan
fuente

¿Cómo cambiar el nombre del título de la pestaña terminal en gnome-terminal?

Respuestas: