From 993a77c30c582aa1edde62598bf0b768d3043cc7 Mon Sep 17 00:00:00 2001
From: Thomas Boettcher <boettcher@rz.rwth-aachen.de>
Date: Mon, 14 Apr 2025 12:21:59 +0200
Subject: [PATCH] just dirs at root level
---
makelinks.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/makelinks.py b/makelinks.py
index 13be052..b7614c6 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 f not in [".git", ".gitignore", os.path.basename(__file__)]]
+ l = [f for f in dirlist if os.path.isdir(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