If you want to install a drop-down terminal in Linux Mint / Ubuntu, install Guake. It’s a really cool Quake style terminal for Linux users....