add gnome-terminal profiles preferences