Hi all, I tried installing some new extensions from extensions.gnome.org and updating ones I already had. It looks like it works, although restarting GS has no effect. Upon further inspection the extensions don't appear (and installed ones have disappeared) in the "installed extensions" menu. I checked in ~/.local/share/gnome-shell/extensions/ and they aren't there. The strange thing is there are no errors in looking glass and when installing them either, the extension is switched on after confirming the installation. The 1st thing that came into my mind is a write permissions issue, but the whole path is writable by my user...
Has anyone had this before? Thanks, Gabriel ________________________________ This email and any attachments are confidential and access to this email or attachment by anyone other than the addressee is unauthorised. If you are not the intended recipient please notify the sender and delete the email including any attachments. You must not disclose or distribute any of the contents to any other person. Personal views or opinions are solely those of the author and not of Trafigura. Trafigura does not guarantee that the integrity of this communication has been maintained nor that the communication is free of viruses, interceptions or interference. By communicating with anyone at Trafigura by email, you consent to the monitoring or interception of such email by Trafigura in accordance with its internal policies. Unless otherwise stated, any pricing information given in this message is indicative only, is subject to change and does not constitute an offer to deal at any price quoted. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
