You don't need to log out to enable extensions, just reload gnome shell. Press A... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

skbohra123 on Nov 11, 2012 | parent | context | favorite | on: I like Gnome Shell

You don't need to log out to enable extensions, just reload gnome shell. Press Alt-F2 and type 'r' without quotes.

aprescott on Nov 11, 2012 [–]

I actually don't even need to do this, they just enable immediately. (Version 3.6.1, if that's relevant.)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact