Как изменить заголовок Konsole в bash?

Как изменить заголовок Konsole в bash?

Мне бы хотелось, чтобы заголовок Konsole менялся каждый раз при запуске цикла, например так:

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

Я обнаружил, что эта echo -ne "\033]0;text\007"команда не работает.

решение1

Сначала вам нужно зайти в настройки konsole:

настройки -> настроить текущий профиль -> Вкладки -> Формат заголовка вкладки = %w

Konsole по умолчанию игнорирует то, что запрашивается, он делает свое дело, как настроено. %wtells заменяется на то, что хочет оболочка. Есть и другие коды, используйте кнопку вставки, он знает все коды.


Краткая заметка о том, как заставить оболочку взять на себя функции эмулятора терминала.

У меня это мое, ~/.bashrcоно обновляет заголовок. Возможно, вам придется провести больше исследований в переменной bash PS1или посмотреть на переменную PROMPT_COMMAND.

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

Связанный контент