On Thu, 2012-01-05 at 11:02 -0500, Robert Moskowitz wrote:
> 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.
>
On F15:
$ r
bash: r: command not found...
Similar command is: 'R'
$ which r
/usr/bin/which: no r in
(/usr/lib64/qt-3.3/bin:/usr/lib64/ccache:/usr/local/bin:/usr/bin:/bin:/usr/local/sbin:/usr/sbin:/sbin:/opt/bin:/home/mjs/bin)
$ whereis r
r:
It does seem rather unlikely.
--
Matthew Saltzman
Clemson University Mathematical Sciences
mjs AT clemson DOT edu
--
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
