Je me souviens que dans gnome-terminal il y avait une option pour définir des raccourcis dans le menu Edition. J'ai mis à jour vers Ubuntu 13.10 et installé gnome3 et j'ai essayé de créer des raccourcis pour gnome-terminal, spécialement pour définir le titre d'un onglet dans le terminal.
Alors, comment puis-je faire ça?
La fonctionnalité est toujours là, je l’ai réglée sur ctrl+e
moi-même et je l’utilise quotidiennement. Rendez-vous sur Edit/Keyboard Shortcuts...
, faites défiler jusqu’à l’arborescence du terminal et définissez le raccourci clavier Set Title
.
Il m'a fallu un peu de temps pour trouver le menu Edition dans 13.10. Il semble que, sauf si vous activez Show Menubar
, le menu contextuel est masqué même si vous le survolez avec la souris. Vous pouvez réactiver le menu en faisant un clic droit sur votre terminal et en sélectionnant Show Menubar
. Ensuite, lorsque vous passez la souris sur le panneau des unités, le menu apparaît.
Installez xttitle (Sudo apt-get install xttitle
) (notez les deux 't'), lisez man xttitle
et utilisez-le.
xttitle "This is my title"