From 94e1c29ede7422f56224de0069e03f5e86544605 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sat, 25 May 2024 15:38:50 +0000 Subject: [PATCH] projects.py proj-dir: Fall back on /opt Search in /opt, if a project is not found in projects-dir Signed-off-by: Jan Lindemann --- scripts/projects.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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 + ']'