Convenient Terminal GNOME Extension which hides and unhides when key is pressed
132459
How can I embed a terminal widget on my desktop?
104872
How can I hide dock in application menu from GNOME Shell?
146159
Hiding the mouse cursor dynamically when using the touchscreen
79089
How to hold terminal open (excepting gnome-terminal)?
41576
How do you set the title of the active gnome-terminal from the command line?
42188
Keyboard shortcut to hide/show Explorer navigation
73196
What can I use instead of gnome-open?
72188
How do I minimise any window using terminal commands?
24625
Hiding an application from switcher (alt+tab)
126933
Disable automatic activation of Gnome Shell activities on mouse over
125721
How to disable GNOME keyring?
147551
Configure tab-switch hotkey in gnome-terminal
133644
New global preferences: keyboard shortcuts and sticky topbar
153383
Bind C-i and TAB keys to different commands in terminal applications via .inputrc
59925
How can I distinguish a terminal window (GUI) from a console (CTRL+ALT+F3)?
62025
How do I hide GNOME 3 panel?
59756
How can I display keyboard shortcuts as I press them?