kariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agoQuake mode terminalmessage-squaremessage-square8fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1message-squareQuake mode terminalkariboka@bolha.forum to Gnome@discuss.tchncs.deEnglish · 1 year agomessage-square8fedilinkfile-text
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.
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.