GNU/Linux >> Znalost Linux >  >> Linux

Jak změnit název terminálu Terminator, ZSH na Debianu?

Následující postup mi pomohl přejmenovat každou kartu v gnome-terminálu. Přidal jsem následující kód do svého ~/.zshrc soubor.

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

Tím se vytvoří název funkce pro přejmenování každé karty.

Všimněte si, že pokud používáte oh-my-zsh budete muset zakázat jeho příkaz automatického názvu. Můžete to udělat zrušením komentáře tohoto řádku ve vašem ~/.zshrc soubor:

DISABLE_AUTO_TITLE="true"

Titulek okna nastavíte pomocí escape sekvencí xtem, ve většině implementací bude nejlépe fungovat první:

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

UPRAVIT: Výše uvedené nastavuje název pouze jednou. Chcete-li nastavit zsh, aby vždy zobrazovalo bodnutí v názvu, přidejte do .zprofile následující ve vašem domovském adresáři:

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

To by mělo fungovat bez ohledu na použitý shell:

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

Linux
  1. Jak nastavit nebo změnit název hostitele systému v systému Linux

  2. Změnit název terminálu?

  3. Jak nastavit klíče SSH na Debianu

  1. Jak nastavit nebo změnit časové pásmo v Linuxu

  2. Nastavit statickou IP na Debianu 11 – Jak na to?

  3. Jak změnit název hostitele v Debianu

  1. Jak změnit název hostitele v Debianu 10

  2. Jak nastavit nebo změnit časové pásmo na Debianu 9

  3. Jak nastavit nebo změnit časové pásmo na Debianu 10