Bagaimana cara mengubah judul terminal judul Terminator, ZSH di Debian?

Berikut ini berhasil bagi saya untuk mengganti nama setiap tab di terminal gnome. Saya menambahkan kode berikut ke ~/.zshrc saya berkas.

precmd () { print -Pn "\e]0;$TITLE\a" }
title() { export TITLE="$*" }

Tindakan ini akan membuat judul berfungsi untuk mengganti nama setiap tab.

Perhatikan, jika Anda menggunakan oh-my-zsh Anda harus menonaktifkan perintah judul otomatisnya. Anda dapat melakukannya dengan menghapus komentar pada baris ini di ~/.zshrc Anda berkas:

DISABLE_AUTO_TITLE="true"

Anda menyetel judul jendela Anda dengan urutan escape xtem, di sebagian besar implementasi, yang pertama akan bekerja paling baik:

echo -en "\e]0;string\a" #-- Set icon name and window title to string
echo -en "\e]1;string\a" #-- Set icon name to string
echo -en "\e]2;string\a" #-- Set window title to string

EDIT: Di atas hanya menetapkan judul satu kali. Untuk menyetel zsh agar selalu menampilkan sengat pada judul, tambahkan kode berikut ke .zprofile Anda di direktori home Anda:

case $TERM in
    xterm*)
        precmd () {print -Pn "\e]0;string\a"}
        ;;
esac

Ini harus bekerja terlepas dari shell yang digunakan:

printf "\033];%s\07\n" "hello world"