Skip to content
Snippets Groups Projects
Commit 1831d6bf authored by Felix's avatar Felix
Browse files

fix maindircreate: do not create links in .git directory

parent 41d42401
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment