Contains my gnome-terminal profile for coloring