Merge pull request #171 from keesj/develop_as_user

Install development packages in the user directory
This commit is contained in:
enjoy-digital 2019-04-23 14:41:37 +02:00 committed by GitHub
commit 9fbbf928ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -46,7 +46,7 @@ if "install" in sys.argv[1:]:
print("[installing " + name + "]...") print("[installing " + name + "]...")
if need_develop: if need_develop:
os.chdir(os.path.join(current_path, name)) os.chdir(os.path.join(current_path, name))
os.system("python3 setup.py develop") os.system("python3 setup.py develop --user")
if "update" in sys.argv[1:]: if "update" in sys.argv[1:]:
for name in repos.keys(): for name in repos.keys():