[darcs-users] another confusion re: command names
Aggelos Economopoulos
aoiko at cc.ece.ntua.gr
Tue May 11 11:42:12 UTC 2004
On Tuesday 11 May 2004 15:11, Ganesh Sittampalam wrote:
> On Tue, 11 May 2004, David Roundy wrote:
> > On the other hand, unpull seems to be a uniformly disliked command name,
> > so perhaps removing it and implementing that functionality with "unrecord
> > --and-revert" would be best. I'll think on this.
>
> I don't dislike it, and I like having a short name for that functionality,
> which I use a lot.
>
I don't dislike it either and I think the safe/unsafe command distinction
makes sense. However, I rarely use it, so I wouldn't care much if it
disappeared, _especially_ if it confuses people.
Aggelos
More information about the darcs-users
mailing list