<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="bz_comment bz_first_comment"><font face="serif">Package:gnome-shell<br>
        Version:3.4.2-7<br>
        <br>
        This problem will be the same in version 3.8.3-1.<br>
        <br>
        If I go to extensions.gnome.org, and try to install an
        extension, the on/off
        slider moves to "on", then there is a prompt asking if I want to
        install the extension, I
        answer yes, but then nothing happens, and nothing is created in
        ~/.local/share/gnome-shell/extensions. Reloading the page shows
        the on/off
        slider in "off" position.
        <br>
        <br>
        This is due to the fact that gnome shell tries to save the file
        in /usr/share/gnome-shell/extensions,<br>
        which is a root only access directory (computer at work, I do
        not have root privilege).
        <br>
        <br>
        could gnome-shell be packaged so that local users can install
        extensions without root privilege,<br>
        for example in "~/.local/share/gnome-shell/extensions/" ?<br>
        <br>
      </font><font face="serif"><small><big>I filed a bug at
            gnome-shell, and the answer was :</big></small></font><br>
      <pre class="bz_comment_text" id="comment_text_6">"We use the standard environment variable $XDG_DATA_HOME to get the user data
directory at runtime. Make sure nothing is setting that."</pre>
    </div>
    see bug report : <a class="moz-txt-link-freetext" href="https://bugzilla.gnome.org/show_bug.cgi?id=704509">https://bugzilla.gnome.org/show_bug.cgi?id=704509</a><br>
    <br>
    <br>
    <font face="serif">If that was not the good answer, two actions to
      solve the problem :<br>
      <br>
      - tell gnome-shell to install user extensions in local directory <br>
      ~/.local/share/gnome-shell/extensions<br>
      <br>
      - but also tell gnome-shell to read packaged extensions (for
      example from<br>
      gnome-shell-extensions package) in
      /usr/share/gnome-shell/extensions</font><br>
    <br>
    Thanks<br>
  </body>
</html>