Switching to Ubuntu GNOME 15.04: Customizing the Terminal (3/4)