this post was submitted on 02 Aug 2023
4 points (100.0% liked)

Gnome

1922 readers
1 users here now

The GNOME Project is a free and open source desktop and computing platform for open platforms like Linux that strives to be an easy and elegant way to use your computer. GNOME software is developed openly and ethically by both individual contributors and corporate partners, and is distributed under the GNU General Public License.

founded 1 year ago
MODERATORS
petsoi@discuss.tchncs.de
4
Quake mode terminal (bolha.forum)
submitted 1 year ago by kariboka@bolha.forum to c/gnome@discuss.tchncs.de
8 comments fedilink hide all child comments
 

You guys know a good extension to make terminal work in quake mode?

Thanks!

top 8 comments
sorted by: hot top controversial new old
[–] petsoi@discuss.tchncs.de 3 points 1 year ago* (last edited 1 year ago) (1 children)

What is the quake mode? (Sorry for asking...)

[–] vile@discuss.tchncs.de 5 points 1 year ago

" Guake is a top-down terminal for Gnome, and is highly inspirated by the famous terminal used in Quake .

You can instantaneously show and hide your terminal with a single key stroke, execute a command, and then go back to your previous task without breaking your workflow. "

[–] analisys@beehaw.org 1 points 1 year ago (1 children)

I use Gnome extension for Quake Dropdown, compatible with every software including terminal, works quite nice.

[–] kariboka@bolha.forum 1 points 1 year ago

That works! I went with it. But unfortunately I had to disable lamp animations for window minimization. The 2 didn't get along well

[–] poorsocialskills@lemmy.ml 1 points 1 year ago

Have you seen Guake? That's pretty much what you're looking for. http://guake-project.org/

[–] Cofeiini@sopuli.xyz 1 points 1 year ago (1 children)

I use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/

[–] kariboka@bolha.forum 0 points 1 year ago (1 children)

Unfortunately is no longer maintained :(

[–] Cofeiini@sopuli.xyz 2 points 1 year ago

It's maintained on GitHub, so you might be able to manually install it or find a package for it in your package manager. At least on Arch you can install gnome-shell-extension-ddterm-git from the AUR.