From 1831d6bfaeede81ac116129aaf5e7a5adf1c9ce3 Mon Sep 17 00:00:00 2001 From: Felix <felix@hilsky.de> Date: Wed, 27 Jan 2021 16:33:00 +0000 Subject: [PATCH] fix maindircreate: do not create links in .git directory --- scripts/maindircreate.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/maindircreate.py b/scripts/maindircreate.py index 73dc195..86ff708 100755 --- a/scripts/maindircreate.py +++ b/scripts/maindircreate.py @@ -19,6 +19,9 @@ import errno # (sehr gut!) # os.walk verändert nicht den aktuellen Ordner for (path, directories, files) in os.walk(os.curdir): + if ".git" in directories: + # do not traverse git directory. There we do not need .maindir links + directories.remove(".git") try: # relpath gibt den Pfad vom aktuellen Ordner relativ zum Ordner # in den wir den Link tun möchten -- GitLab