Bash script to restore a deleted file within a Git repository.

git-restore

#!/usr/bin/env bash

#
# restores the given file if known to git
#

if [ $# -ne 1 ]; then
  echo "No file given."
  echo -e "\nUsage:\n\t$(basename $0) [file_to_restore]"
  exit 1
fi

FILE_TO_RESTORE="$1"
DEL_REVISION="$(git rev-list -n 1 HEAD -- "$FILE_TO_RESTORE")"

if [ -z "${DEL_REVISION}" ]; then
  echo "File \"${FILE_TO_RESTORE}\" in not knwon to git!"
  exit 2
fi

git checkout ${DEL_REVISION}^ -- "$FILE_TO_RESTORE"

exit $?