From d24dac3d35b40caaab3f4d6d6cd0f7eaebf78895 Mon Sep 17 00:00:00 2001 From: Thomas Boettcher <boettcher@rz.rwth-aachen.de> Date: Mon, 14 Apr 2025 12:23:17 +0200 Subject: [PATCH] missed adding local directory --- makelinks.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makelinks.py b/makelinks.py index b7614c6..39425b8 100755 --- a/makelinks.py +++ b/makelinks.py @@ -28,7 +28,7 @@ def filenamefilter(dirname): # filter unlinkable files # separate dirs and files dirlist = os.listdir(dirname) - l = [f for f in dirlist if os.path.isdir(f) and f not in [".git"]] + l = [f for f in dirlist if os.path.isdir(os.path.join(dirname, f)) and f not in [".git"]] hostbased = [f.group(1) for f in map(lambda x: re.match("^(.+)--.+$", x), l) if f] if hostbased: regex = "^(%s)(--.+)?$" % "|".join(hostbased) -- GitLab