Say I\'m in a Git repository. I delete a file and commit that change. I continue working and make some more commits. Then, I find I need to restore that file.
I know
git log --diff-filter=D --summary
git checkout $commit~1 path/to/file.ext
Where $commit is the value of the commit you've found at step 1, e.g. e4cf499627
$commit
e4cf499627