Re: Setting Gnome resolution from the command line