From f798a3e6733d9acd4a8d85db300647bc431a5e12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= <balkian@gmail.com>
Date: Sat, 30 Oct 2021 15:18:34 +0200
Subject: [PATCH] Add rename script

---
 rename.py | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 rename.py

diff --git a/rename.py b/rename.py
new file mode 100644
index 0000000..8fefe3e
--- /dev/null
+++ b/rename.py
@@ -0,0 +1,22 @@
+import json
+import os
+from pathlib import Path
+
+index = json.load(open('index.json', 'r'))
+
+repos = Path('repos')
+
+for repo in index:
+    path = repos / repo["id"]
+    if not os.path.exists(path):
+        print(f'Repo {path} does not exist or it has already been moved')
+        continue
+    if repo['description']:
+        print(f'Renaming: {repo["id"]} -> {repo["description"]}')
+        os.rename(path, repos/repo["description"].replace('/', ' '))
+    else:
+        files = os.listdir(path)
+        if len(files) == 1:
+            onefile = files[0]
+            fname = onefile.rsplit(".", 1)[0]
+            os.rename(path, repos / fname)