karibokaA to Gnome@discuss.tchncs.deEnglish · 1 year agoQuake mode terminalmessage-squaremessage-square10fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1message-squareQuake mode terminalkaribokaA to Gnome@discuss.tchncs.deEnglish · 1 year agomessage-square10fedilinkfile-text
minus-squareCofeiini@sopuli.xyzlinkfedilinkarrow-up2·1 year agoI use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
minus-squareCofeiini@sopuli.xyzlinkfedilinkarrow-up2·1 year agoIt’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.
I use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
Unfortunately is no longer maintained :(
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.