kariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agoQuake mode terminalmessage-squaremessage-square3fedilinkarrow-up10arrow-down10file-text
arrow-up10arrow-down1message-squareQuake mode terminalkariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agomessage-square3fedilinkfile-text
minus-squareCofeiini@sopuli.xyzlinkfedilinkarrow-up0·1 year agoI use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
minus-squarekariboka@bolha.forumOPlinkfedilinkarrow-up0·1 year agoUnfortunately is no longer maintained :(
minus-squareCofeiini@sopuli.xyzlinkfedilinkarrow-up1·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-gitfrom the AUR.