Browse Source

Expand home directory in user configured dirs

User configured folders were ignored if it contained ~ for $HOME, although the home directory is expanded later on.
master
Beren Minor 4 years ago
committed by GitHub
parent
commit
372597ff51
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