git rename: renaming lock file (#200)

tdegeus · Nov 29, 2023 · c6fef3b · c6fef3b
1 parent 1ea65aa
commit c6fef3b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/shelephant/dataset.py b/shelephant/dataset.py
@@ -1250,6 +1250,10 @@ def rename(args: list[str]):
     yaml.overwrite(sdir / "storage.yaml", storage)
     os.rename(sdir / "storage" / f"{args.old}.yaml", sdir / "storage" / f"{args.new}.yaml")
     os.rename(sdir / "data" / args.old, sdir / "data" / args.new)
+    if (sdir / "lock.txt").exists():
+        myname = (sdir / "lock.txt").read_text().strip()
+        if myname == args.old:
+            (sdir / "lock.txt").write_text(args.new)
     update([])