update gnome-terminal profile settings