Comment changer le titre de Gnome-Terminal?

J'ai plusieurs exemples de terminaux fonctionnant dans mon environnement de travail. Ce que je voudrais, c'est définir un titre spécifique pour chacun d'eux, afin d'avoir une idée précise de l'objectif du terminal spécifique, à savoir Apache, montage_ini, postgres, etc.

Bien sûr depuis la ligne de commande.

• Le moyen le plus convivial consiste à le sélectionner dans le menu Terminal -> "Définir le titre ...".

• Il y a d'autres façons, mais vous pouvez aussi émettre

  gnome-terminal --title="SOME TITLE HERE"
  

  Cela pourrait ne pas donner l'effet souhaité, car il y a de grandes chances que votre .bashrccomportement écrase ce comportement.

• Nous amenant à la dernière méthode, que j’ai arrachée sans vergogne à mon .bashrc.

  PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
  

En tant que référence supplémentaire, c’est la ligne particulière de mon .bashrc

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'

Vous devrez peut-être aussi commenter ce code dans votre ~ / .bashrc

case "$TERM" in
xterm*|rxvt*)
    # JEFFYEE REMOVED because it makes commands to title() not work
    #PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

La réponse de Ward est excellente si vous souhaitez définir votre titre en fonction de votre hôte, etc. à chaque fois que vous ouvrez un terminal. Si vous voulez juste définir rapidement un titre, vous pouvez simplement lancer echo par lui-même:

echo -ne "\033]0;SOME TITLE HERE\007"

ou faire une fonction simple (à l'intérieur de votre ~/.bashrc), disonstermtitle

termtitle() { printf "\033]0;$*\007"; }

que vous pouvez courir avec termtitle some title here.

Si vous utilisez l'éditeur Vim, vous pouvez également activer cette option dans votre vimrc:

:set title

qui est désactivé par défaut. Il va définir des titres de terminal sympas indiquant le nom du fichier que vous êtes en train d’éditer et quelques autres choses.

Par souci d’exhaustivité, j’ajouterais que vous pouvez également définir le gnome-terminaltitre à l’aide de cette commande:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Vous devez d'abord installer le paquet wmctrl .

Argh, tellement de réponses ...

J'ai essayé wmctrl, ce qui a presque fonctionné, sauf que je n'ai pas réussi à changer le titre de l'icône, du moins pas de façon permanente.

Le problème est que la PS1 dans Bash dans Ubuntu définit le titre.

La PS1 par défaut est

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ 

... qui définit le titre dans la première séquence d'échappement: \e]0;\u@\h: \w\a

Ainsi, il existe deux solutions:

Solution 1: simplifiez PS1, puis utilisez PROMPT_COMMAND

Changez la PS1 en quelque chose de plus simple:

PS1="\u@\h:\w\$ "

Ensuite, utilisez le PROMPT_COMMAND:

PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'

Solution 2: modifiez directement PS1

Modifiez simplement PS1 avec le nouveau titre:

PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Si vous êtes un utilisateur Ubuntu, vous pouvez modifier le titre d'un onglet gnome-terminal à l'aide du HUD .

Dans le terminal gnome, appuyez sur Alt pour afficher le HUD, tapez les premières lettres, par exemple "tit", appuyez sur Entrée et tapez votre nouveau titre.

C'est une méthode très rapide et évite d'utiliser la souris.

Une autre façon de changer le titre de gnome-terminalest d'utiliser gconftool-2; cela change le titre initial du terminal pour le profil sélectionné, vous pouvez donc associer différents profils à des titres tels que 'Apache', 'Édition', etc. Vous devez ensuite lancer gnome-terminalle profil approprié pour obtenir le titre du terminal que vous avez spécifié. Cela contraste avec le gnome-terminal --title "name"changement de titre par terminal, mais n'affecte pas le titre initial spécifié dans le profil.

Vous pouvez utiliser la commande suivante dans un script pour définir le nom du terminal pour un profil et modifier le nom du terminal à certaines heures de la journée pour vous rappeler des événements:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Ceci concerne le profil par défaut, mais vous pouvez également définir le titre d'autres profils en modifiant, par exemple, Defaultun autre profil tel que Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Je pensais que cette façon de changer le titre était utile en raison de la manière dont elle pourrait être utilisée dans les scripts, ou simplement comme un moyen rapide en ligne de commande de définir le titre du profil. Notez que vous devez parfois relancer le terminal avec le profil spécifié pour que le gconftool-2paramètre soit pris en compte. Les paramètres complets disponibles pour gnome-terminalpeuvent être listés avec gconftool-2 -R /apps/gnome-terminal.

Une autre solution consiste à utiliser xdotool pour simuler des frappes au clavier, ce qui peut être utile dans les scripts:

1. Définissez un raccourci clavier dans gnome-terminal:

   Edit > Keyboard Shortcuts... > Terminal > Set Title
   

   Par exemple assing le Shift+Ctrl+Y.

2. Installez xdotoolsi vous ne l'avez pas déjà:

   sudo apt-get install xdotool
   

3. La séquence de commandes suivante (que vous pouvez également utiliser dans un script bash) définira le titre du terminal / onglet (échappera les espaces avec \):

   xdotool key ctrl+shift+y 
   xdotool type My\ new\ fabulous\ title
   xdotool key Return
   

4. [facultatif] Vous pouvez également utiliser xdotool pour, par exemple, ouvrir un nouvel onglet et définir le titre avec les commandes ci-dessus, en utilisant:

   xdotool key ctrl+shift+t
   

   Pensez à ajouter un temps de sommeil avant et après l'ouverture d'un nouvel onglet, par exemple sleep 1(attendre 1 seconde).

Ce n'est pas la solution la plus élégante, mais cela a fonctionné pour moi! Les réponses précédentes n'ont pas fonctionné dans mon cas. J'utilise gnome-terminal dans Ubuntu 14.04 et je voulais créer un script bash.

Pour afficher uniquement le répertoire de travail actuel dans le titre, essayez ceci dans votre '.bashrc':

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

ou

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"' 

Cela a fonctionné dans mon terminal Gnome 3.18.3 .

Editez votre fichier .bashrc et ajoutez cette fonction

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

N'oubliez pas sourcevotre fichier .bashrc

$ source ~/.bashrc

Et puis vous pouvez simplement mettre à jour, vous pourrez changer le titre du terminal comme ceci:

$ termtitle "MariaDB CLI"

Ma réponse est similaire à la réponse plus récente qui n'a pas fonctionné pour moi. Les réponses les plus anciennes ne fonctionnent plus. La vieille réponse du milieu est trop de frappe alors j'ai créé une fonction dans mon ~/.bashrcfichier:

function termtitle() { PS1="${PS1/\\u@\\h: \\w/$@}"; }

Après avoir ajouté ou modifié la fonction ou, si vous souhaitez réinitialiser le titre une deuxième fois, utilisez:

. ~/.bashrc
termtitle Special Projects

Sinon, utilisez tous les jours termtitleun nouveau titre.

Si des âmes pauvres comme moi sont obligées d’utiliser tcsh, essayez quelque chose comme ça dans votre .cshrc:

set prompt='%{\033]0;%n@%m\007%}%~%# '

Source et plus de détails: http://tldp.org/HOWTO/Xterm-Title-4.html

Si vous utilisez gnome 3, l' Terminal > Set Titleoption de menu pratique a été supprimée. Vous pouvez installer un terminal forké de gnome 2 qui a toujours cette option de menu "Définir le titre" et l'exécuter à la place:

sudo apt-get install mate-terminal

Au lieu d'exécuter "Terminal", exécutez "MATE Terminal". Vous devriez probablement aussi sélectionner mate-terminal dans sudo update-alternatives --config x-terminal-emulator.