News for hackers. Stuff that matters.

A comment on I like Gnome Shell. Parent comment

Re:I like Gnome Shell by skbohra123 on Sunday November 11, 2012 @01:44PM (#4770212)
You don't need to log out to enable extensions, just reload gnome shell. Press Alt-F2 and type 'r' without quotes.
[ Parent | on HN ]
Re:I like Gnome Shell by aprescott on Sunday November 11, 2012 @02:20PM (#4770297)
I actually don't even need to do this, they just enable immediately. (Version 3.6.1, if that's relevant.)
[ Parent | on HN ]