In other words, drop-down terminals are a very efficient method of using the command line. Also: 6 features I wish MacOS would copy from Linux You can add a drop-down terminal on MacOS, thanks to ...