Allow overriding THONNY_USER_DIR via an environment variable
@@ -2,7 +2,8 @@ import os.path
import sys
-THONNY_USER_DIR = os.path.expanduser(os.path.join("~", ".thonny"))
+THONNY_USER_DIR = os.environ.get("THONNY_USER_DIR",
+ os.path.expanduser(os.path.join("~", ".thonny")))
def launch():
os.makedirs(THONNY_USER_DIR, mode=0o700, exist_ok=True)
