kariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agoQuake mode terminalmessage-squaremessage-square10fedilinkarrow-up14file-text
arrow-up14message-squareQuake mode terminalkariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agomessage-square10fedilinkfile-text
minus-squareCofeiini@sopuli.xyzlinkfedilinkarrow-up1·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-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-gitfrom the AUR.