On Thu, Apr 4, 2013 at 4:05 PM, Adam Tauno Williams <awill...@whitemice.org> wrote: > On Thu, 2013-04-04 at 15:49 +0300, Ozan Çağlayan wrote: >> Hmm but shouldn't that setting be in a more obvious place? > > Which results in mega-panels of configuration options. >
> > I keep a little script that sets all the gsettings I prefer; on a new > GNOME desktop I can just run that and away I go. Sort of like a lame > group-policy / roaming-profile. Too much simplification leads to too much sophistication in the end :) Well I don't want to remember the gsettings key every time I install a GNOME desktop. Anyway, thanks :) _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
