If you’re a Linux user, chances are you spend a lot of time in the terminal. Over time, your terminal […]