On Jan 5, 2012 8:16 AM, "Alan Evans" <ame.fedora@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx 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
