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

Marcos Alex

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?

Jason Conti

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.

Collected from the Internet

Please contact [email protected] to delete if infringement.

edited at
0

Comments

0 comments
Login to comment

Related

Keyboard shortcut to set gnome-terminal tab title

How to rename terminal tab title in gnome-terminal?

Can no longer set terminal title in Ubuntu 16 (gnome-terminal)

How to set active tab in gnome-terminal?

Change shortcut to switch tab in gnome-terminal

Set title for each terminal tab in gnome-terminal using a bash script

GNOME Terminal - process name in tab title

How to switch between tabs opened in gnome-terminal and also close any particular tab using shortcut key?

How to make shortcut for frequently used terminal commands in ubuntu

How to set the title in Terminal

xfce4-terminal: keyboard shortcut to set terminal title

GNOME 3.14+ launch new gnome-terminal and set title

gnome-terminal multi-tab title position

How to change Gnome-Terminal title?

How to close a GNOME terminal tab from the keyboard?

keyboard shortcut gnome-terminal (ctrl-tab) and (ctrl-shift-tab) in 12.04?

How to can I make a title shortcut

How to set Terminal tab title to show the current git branch (using zsh)?

How do you set the terminal tab title from Node.js?

Title of "gnome-terminal" is being overridden by .bashrc in Ubuntu

gnome-terminal change tab color ubuntu 19.04

How to interact with window behind gnome-terminal on shortcut key press?

Keyboard shortcut for pasting on the GNOME Terminal

Add custom shortcut to the GNOME Terminal

How to make Ubuntu 18.04 (GNOME) workspace prohibit alt-tab to windows on other workspaces

How to make gnome-terminal cursor green

How to make a tab pane with no title bar?

How to set Monaco font in GNOME Terminal?

How to set zsh as default for gnome terminal only?