Added script to undelete specific files from git

reinout · Aug 20, 2024 · 449815f · 449815f
1 parent abac00d
commit 449815f
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/shell/README.rst b/shell/README.rst
@@ -250,6 +250,21 @@ Source code::
     # grep -i --color=auto $1
 
 
+git-undelete
+------------------------------------------------------------------------
+
+Undelete a file from git which has been git-rm'ed and git-commit'ed somewhere in the
+past. See https://stackoverflow.com/a/1113140/27401
+
+Pass a filename (some_dir/some_file.txt) you want restored.
+
+Source code::
+
+    #!/bin/bash
+
+    git checkout $(git rev-list -n 1 HEAD -- "$1")^ -- "$1"
+
+
 md-to-doc
 ------------------------------------------------------------------------
 

diff --git a/shell/git-undelete b/shell/git-undelete
@@ -0,0 +1,7 @@
+#!/bin/bash
+# Undelete a file from git which has been git-rm'ed and git-commit'ed somewhere in the
+# past. See https://stackoverflow.com/a/1113140/27401
+#
+# Pass a filename (some_dir/some_file.txt) you want restored.
+
+git checkout $(git rev-list -n 1 HEAD -- "$1")^ -- "$1"