I use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
I use ddterm, which is pretty much the only remaining drop-down terminal extension. https://extensions.gnome.org/extension/3780/ddterm/
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.