Setting Gnome resolution from the command line