git annoyances: how to force git to fetch a particular file

[Francois Gouget]

On Wed, 12 Jul 2006, Mike McCormack wrote:
[...]
> You can compare the index to HEAD with the following command, as I mentioned:
>
> git diff-index -p HEAD

Actually this command will show a diff of both files that are in the 
index and files that are NOT in the index. If all you are interested 
in is what's in the index, then you can use the following command 
(discovered by Huw):

git diff-index --cached -p HEAD

-- 
Francois Gouget <fgouget at free.fr>              http://fgouget.free.fr/
   Good judgment comes from experience, and experience comes from bad judgment
                                -- Barry LePatner