Ignore dot-directories

This commit is contained in:
Timothée Floure 2020-11-20 08:00:55 +01:00
parent 6cba6cc667
commit 2017615624

View file

@ -49,6 +49,8 @@ if __name__ == '__main__':
for entry in entries: for entry in entries:
if not entry.is_dir(): if not entry.is_dir():
print(">> Ignoring {} since it is not a directory.".format(entry.name)) print(">> Ignoring {} since it is not a directory.".format(entry.name))
elif entry.name[0] == '.':
print(">> Ignoring {} since it is a dot directory.".format(entry.name))
else: else:
repository_name = entry.name repository_name = entry.name
repository_path = entry.path repository_path = entry.path