Re: [PATCH] Documentation: add a planning document for the next CLI revamp

On Thu, 30 Oct 2008, Pierre Habouzit wrote:

On Thu, Oct 30, 2008 at 05:00:18PM +0000, Nicolas Pitre wrote:

quoted

On Thu, 30 Oct 2008, Matthieu Moy wrote:

quoted

I've already argued in favor of allowing "git reset --hard <files>",
which is consistant with existing terminology and doesn't add an extra
command, but without success.

If you have a file argument, the --hard option is redundant, isn't it?
So what about simply "git reset <file>" ?

errrrm, git reset <file> resets the index notion of the file to its status
in HEAD... which I'm sure is *somehow* useful to "some" people ;P

Too bad...


Nicolas