adding gnome terminal settings