From d7a922b24ec9931f9d4eeb193d19d691a91295c2 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Sat, 6 Mar 2021 14:47:11 +0100
Subject: [PATCH] Added rename script

---
 docs/.gitignore |  2 ++
 tools/rename.py | 44 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 46 insertions(+)
 create mode 100755 tools/rename.py

diff --git a/docs/.gitignore b/docs/.gitignore
index e69de29..9d9cd60 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -0,0 +1,2 @@
+htmlize.el
+index.html
diff --git a/tools/rename.py b/tools/rename.py
new file mode 100755
index 0000000..51bb421
--- /dev/null
+++ b/tools/rename.py
@@ -0,0 +1,44 @@
+#!/usr/bin/env python
+
+"""
+Changes the name of a function into all the org files.
+This script should be run in the src directory.
+"""
+
+import sys
+import os
+
+
+def help():
+    print("Syntax : {0}  OLD_FUNC_NAME  NEW_FUNC_NAME".format(sys.argv[0]))
+
+
+
+def replace_in_file(filename, old_func_name, new_func_name):
+    with open(filename,'r') as f:
+        text = f.read()
+        
+    new_text = text.replace(old_func_name, new_func_name)
+                 
+    with open(filename,'w') as f:
+        f.write(new_text)
+
+
+def main():
+    if len(sys.argv) != 3:
+        help()
+        sys.exit(-1)
+    old_func_name = sys.argv[1]
+    new_func_name = sys.argv[2]
+
+    for filename in os.listdir(os.getcwd()):
+        if filename.endswith(".org"):
+            replace_in_file(filename, old_func_name, new_func_name)
+
+    print("Done. run git diff to check what has been changed.")
+    
+
+
+
+if __name__ == "__main__":
+    main()