update gnome-terminal settings