Another Fedora 16 + Gnome 3.2 question!?

Robert Moskowitz rgm at htt-consult.com
Thu Jan 5 16:02:06 UTC 2012


On 01/05/2012 10:16 AM, Alan Evans 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 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?

Truly frightening.  BOth ways.




More information about the users mailing list