* Luciano Rocha:

quoted text
>>         git show HEAD:$prefix$i > $i

quoted text
> I use git checkout path ...
>
> Isn't that the same thing?

No, it restores the file version in the index.  "git checkout HEAD --
$path" should be the same.

Personally, I'm not all that happy with the multiple different meanings
of "git reset" and "git checkout", either.  Depending on the parameters,
the two comments manipulate both the contents of the working copy, or
the location at which the working copy is hooked in the history.  If we
need to have two separate commands for this, it would make more sense to
draw distinction between the two aspects, and not the mess we have now.
OTOH, it's probably too late for that.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html