@kariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish • 11 months agoQuake mode terminalmessage-square9fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1message-squareQuake mode terminal@kariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish • 11 months agomessage-square9fedilinkfile-text
minus-squareCofeiinilink2•11 months agoI use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
minus-square@kariboka@bolha.forumOPlinkfedilink1•11 months agoUnfortunately is no longer maintained :(
minus-squareCofeiinilink2•11 months 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-gitfrom the AUR.