diff --git a/shell/README.rst b/shell/README.rst index 1772fb3..c393400 100644 --- 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 new file mode 100755 index 0000000..c5e7467 --- /dev/null +++ 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"