diff --git a/scripts/maindircreate.py b/scripts/maindircreate.py index 73dc195b792a8f0b09fe0e84cb14f41bc13c0c4f..86ff708dc4765130ab536ad422581ad25720d6ae 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