pushing gnome settings