GNU/Linux >> Linux Esercitazione >  >> Linux

Come cambiare il titolo del terminale del titolo Terminator, ZSH su Debian?

Quanto segue ha funzionato per me per rinominare ogni scheda in gnome-terminal. Ho aggiunto il seguente codice al mio ~/.zshrc file.

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

Questo crea un titolo funzione per rinominare ogni scheda.

Nota, se stai usando oh-my-zsh dovrai disabilitare il suo comando di titolo automatico. Puoi farlo decommentando questa riga nel tuo ~/.zshrc file:

DISABLE_AUTO_TITLE="true"

Imposta il titolo della tua finestra con le sequenze di escape xtem, nella maggior parte delle implementazioni la prima funzionerà meglio:

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

MODIFICA: Quanto sopra imposta il titolo solo una volta. Per impostare zsh in modo che visualizzi sempre la puntura nel titolo, aggiungi quanto segue al tuo .zprofile nella tua home directory:

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

Questo dovrebbe funzionare indipendentemente dalla shell utilizzata:

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

Linux
  1. Come impostare o modificare il nome host del sistema in Linux

  2. Come impostare o modificare il fuso orario in Linux

  3. Impostare un IP statico su Debian 11 - Come farlo?

  4. Cambia il titolo del terminale?

  5. Come modificare il nome host in Debian

Come modificare il carattere e la dimensione del carattere del terminale su Debian

Come impostare o modificare il nome host in Debian Linux

Come modificare o impostare la password utente in Linux

Come impostare o modificare il fuso orario su Debian 11

Come modificare il nome host su Debian 10

Come impostare il titolo del terminale sulla barra delle applicazioni (pannello)?