5 Commits

Author	SHA1	Message	Date
Ole Jørgen Brønner	087813801d	install.sh: enable using gnome-extensions unconditionally ... Bugfix old versions: install did not permanently enable extension. `extensionSystem.enabledExtension(uuid)` does not write to dconf in 3.28 and 3.32	2020-02-01 14:41:06 +01:00
Tor Hedin Brønner	994722b525	Enable extension on install.sh	2020-01-21 18:45:26 +01:00
Tor Hedin Brønner	dc970771d7	installer: make sure the gnome shell extensions dir exists	2019-02-06 20:49:06 +01:00
Ole Jørgen Brønner	ad2de4783f	Minor bugfix: Use absolute path to local extension dir in install script	2017-09-21 10:29:55 +02:00
Tor Hedin Brønner	b6cfd0eefd	Add local install script	2017-09-20 16:06:44 +02:00