>>journalctl -b | grep gnome- attached as logfile >>gsettings get org.gnome.shell enabled-extensions ['pidgin@muffinmad', 'alternate-tab@gnome-shell-extensions.gcampax.github.com', 'hamster@projecthamster.wordpress.com'] all extensions are installed via the tweak tool without problems.