[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.


More information about the darcs-users mailing list