☰

¿Cómo cambiar el título de Konsole en bash?

tag-icon • tag-icon bash konsole window-title
¿Cómo cambiar el título de Konsole en bash?

Me gustaría cambiar el título de Konsole cada vez que ejecuto un bucle, así:

while read line; do
  echo $line $i/$numline
  echo -ne "\033]0;$line $i/$numline\007"
  commands
  let i=i+1
done<text

Descubrí que el echo -ne "\033]0;text\007"comando no funciona.

Respuesta1

Primero debes ir a la configuración de konsole:

configuración -> configurar el perfil actual -> Pestañas -> Formato de título de pestaña = %w

La consola por defecto ignora lo que se le pide, hace lo suyo, según está configurado. %wdice es reemplazado por lo que el caparazón quiere que sea. Hay otros códigos, use el botón Insertar, conoce todos los códigos.

Una breve nota sobre cómo hacer que el shell se haga cargo de lo que estaba haciendo el emulador de terminal.

Tengo este es mi ~/.bashrcactualiza el título. Es posible que tengas que investigar más sobre bash variable PS1o mirar variable PROMPT_COMMAND.

case "$TERM" in
xterm*|rxvt*)
    PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

información relacionada