On Jan 5, 2012 8:16 AM, "Alan Evans" <ame.fed...@gmail.com> wrote: > > On Thu, Jan 5, 2012 at 12:34 AM, Olav Vitters wrote: > > >> And what, pray tell, does 'r' do? > > > > restart gnome-shell (keeps existing applications; state is not perfectly > > preserved). Quicker than rebooting the entire machine just to see the > > changes you made to gnome-shell. > > A *one* *letter* command to restart the shell?!? That s > > On Thu, Jan 5, 2012 at 12:34 AM, Olav Vitters wrote: > > >> And what, pray tell, does 'r' do? > > > > restart gnome-shell (keeps existing applications; state is not perfectly > > preserved). Quicker than rebooting the entire machine just to see the > > changes you made to gnome-shell. > > A *one* *letter* command to restart the shell?!? That seems like a > horrible mis-feature, like something I might key in accidentally. > > Did developers really think that restarting GNOME-shell would be so > common that it justified a single char shortcut? > > -Alan > -- > users mailing list > users@lists.fedoraproject.org > To unsubscribe or change subscription options: > https://admin.fedoraproject.org/mailman/listinfo/users > Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines > Have a question? Ask away: http://ask.fedoraproject.org >
-- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
