web-dev-qa-db-fra.com

Comment créer un raccourci pour définir le titre dans l'onglet gnome-terminal (Ubuntu 13.10)?

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?

2
Marcos Alex

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.

5
Jason Conti
  1. Lorsque la fenêtre du terminal est active, sélectionnez édition/raccourcis clavier.
  2. Dans la fenêtre qui s'ouvre, dans le groupe 'terminal', cliquez sur 'définir le titre' et entrez la combinaison de touches souhaitée. j'ai choisi Ctrl + E selon la réponse ci-dessus.
1
Sriharsha

Installez xttitle (Sudo apt-get install xttitle) (notez les deux 't'), lisez man xttitle et utilisez-le.

xttitle "This is my title"
0
waltinator