https://fedoramagazine.org/use-a-drop-down-terminal-for-fast-commands-in-fedora/ Anyone use something similar? I usually use Guake personally when I want a drop down terminal. #linux #terminal