Re: cmd line stuff (was: CVS update: ...)

On Tue, 17 Oct 2000 13:05:24 -0400, Greg Hudson <ghudson@MIT.EDU> said:
>
>> CVS duplicates some options, and people don't seem to have a problem
>> in practice (not just myself -- I don't recall ever seeing someone
>> get confused about that in my bygone days as a CVS troubleshooter).
>
> I think it's pretty confusing, although I don't think I know anyone
> who's been severely bit by it.
>
> I actually believe that we should discard CVS's insistence that
> global options come before the command name and local options come
> after.

Are you sure you'll never want to introduce a new global option? We
could easily do what you suggest for the first version, but if we
subsequently wanted to introduce new global options, we'd have to find
letters for them that weren't used by any command anywhere, no?
Received on Sat Oct 21 14:36:11 2006