Question

6

How to make a shortcut to set title in gnome-terminal tab (ubuntu 13.10)?

rated 0 times [ 6] [ 0] / answers: 1 / hits: 4166 / 2 Years ago, thu, september 29, 2022, 2:23:46

I remember that in gnome-terminal there used be an option to set shortcuts in Edit menu. I've upgraded to ubuntu 13.10 and installed gnome3 and I have tried to make shortcuts for gnome-terminal, specially to set a title for a tab in terminal.

So how can I do that?

Answers

Only authorized users can answer the question. Please sign in first, or register a free account.

rryble

Add To Favorites

Follow

Total Points: 489

Total Questions: 121

Total Answers: 119

Location: Marshall Islands

Member since Mon, May 31, 2021

3 Years ago

answered 2 Years ago utschang · Accepted Answer

The functionality is still there, I have it set to ctrl+e myself and use it daily. Visit Edit/Keyboard Shortcuts..., scroll down to the Terminal tree and set the Set Title keyboard shortcut.

It did take me a short time to find the Edit menu in 13.10. It appears that unless you enable Show Menubar the appmenu is hidden even if you hover over it with your mouse. You can re-enable the menu by right clicking on your terminal and selecting Show Menubar. Then when you hover over the unity panel, the menu will appear.