Browse Source

Merge pull request #76 from berenm/patch-1

Expand home directory in user configured dirs
master
Randy Lai 4 years ago
committed by GitHub
parent
commit
b068c7e1f8
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      project_manager.py

2
project_manager.py

@ -112,7 +112,7 @@ class Manager:
self.projects_path = []
for folder in user_projects_dirs:
if os.path.isdir(folder):
if os.path.isdir(os.path.expanduser(folder)):
self.projects_path.append(folder)
if not self.projects_path:

Loading…
Cancel
Save