2 Commits

Author	SHA1	Message	Date
Florian Müllner	9d5c743a98	extensions-tool: Handle existing extension folder ... g_file_make_directory_with_parents() returns an error if the directory already exists (unlike g_mkdir_with_parents()), so it is currently impossible to install more than a single extension, whoops. Handle the error properly by just carrying on. https://gitlab.gnome.org/fmuellner/gnome-extensions-tool/merge_requests/3 https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234	2019-08-21 18:28:02 +02:00
Florian Müllner	a429fdbd08	extensions-tool: Add 'install' command ... The ability to install unaudited extensions directly from a zip file can be useful for testing and code review, so implement a corresponding command that complements the previously added 'pack' command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234	2019-08-21 18:28:02 +02:00