web-dev-qa-db-fra.com

Impossible de définir le titre du terminal dans Ubuntu 16 (gnome-terminal)

Dans Ubuntu 14.10 LTS, j'ai pu définir le titre d'un onglet de terminal simplement en cliquant avec le bouton droit de la souris et en choisissant Définir le titre . Ceci utilisait l'application de terminal par défaut, gnome-terminal.

Dans Ubuntu 16.04 LTS, je ne peux plus définir le titre et l’application de terminal est toujours gnome-terminal. L'option Définir le titre n'est plus dans le menu.

Cette fonctionnalité a-t-elle été supprimée entre 14h10 et 16h04? Comment puis-je définir le titre d'un onglet de terminal dans Ubuntu 16.04?

command-line16.04gnome-terminal
8
Chris Cirefice

L'option permettant de définir le titre du terminal est obsolète dans 16.04 LTS, mais il existe toujours un moyen de définir le titre. Editez votre fichier ~/.bashrc et ajoutez les lignes suivantes:

# function to set terminal title
function set-title(){
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Après cela, fermez et rouvrez le terminal ou la source de votre .bashrc (commande: source ~/.bashrc) et vous pouvez définir le titre en tapant simplement:

set-title "<title>"

Le solution trouvée ici et l’utiliser moi-même depuis que je tourne sous 16.04 LTS.

18
Videonauth