https://ihaveapc.com/2011/07/how-to-customize-linux-mint-ubuntu-terminal/