diff options
author | Max Audron <audron@cocaine.farm> | 2023-01-25 17:15:42 +0100 |
---|---|---|
committer | Max Audron <audron@cocaine.farm> | 2023-01-27 14:44:30 +0100 |
commit | 5eee2ac39863f9e44591b50d0710dd2615416a13 (patch) | |
tree | 72d90317db4e724a9d9ace4f9e8d8f2d4467d5e9 /modules/ui_extensions.py | |
parent | 9beb794e0b0dc1a0f9e89d8e38bd789a8c608397 (diff) |
add data-dir flag and set all user data directories based on it
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 742e745e..66a41865 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -132,7 +132,7 @@ def install_extension_from_url(dirname, url): normalized_url = normalize_git_url(url)
assert len([x for x in extensions.extensions if normalize_git_url(x.remote) == normalized_url]) == 0, 'Extension with this URL is already installed'
- tmpdir = os.path.join(paths.script_path, "tmp", dirname)
+ tmpdir = os.path.join(paths.data_path, "tmp", dirname)
try:
shutil.rmtree(tmpdir, True)
|