Re: Getting a file revision

Hi,

Junio C Hamano wrote:

"Bahadir Balban" [off-list ref] writes:

quoted

This might sound like a novice question but anyway: I sometimes have a
need to quickly recover an old revision of a file just to check
something or copy some code from it.

$ git show -p $commit:$path >$path.old-version

Is "-p" a short version of "--pretty" ?

(I do not see it documented in the man-page and assume it is not the 
"-p" applicable to git-diff-tree, is it ?)

Thanks,
Jérôme