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
..
2019-08-09 19:22:18 +00:00
2019-08-21 18:28:02 +02:00
2019-02-06 18:29:15 +01:00
2019-01-30 22:50:01 +01:00
2019-04-18 15:40:55 -03:00