How to get a copy of an older version of a file in a git repository?

Question

I have a version of a .tex file from a number of commits ago that I would like to get a copy of. I have the sha1 hash value for the commit that has the version

Answer 1

I think that the best solution is to overwrite temporally your file. In your top-level of your repository:

git checkout  file.tex
cp file.tex directory
git checkout HEAD file.tex