diff --git a/scripts/projects.py b/scripts/projects.py index 81199728..42ccabe1 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -10,7 +10,6 @@ import sys import argparse import pwd import time -import pathlib from os.path import isfile from os.path import isdir from os.path import expanduser @@ -104,7 +103,11 @@ class Projects(object): def proj_dir(self, name): if name == self.top_name: return self.topdir - return self.projs_root + '/' + name + for d in [ self.projs_root, '/opt' ]: + r = d + '/' + name + if os.path.exists(r): + return r + raise Exception('No project path found for module "{}"'.format(name)) def re_section(self, name): return re.compile('[' + name + ']'