[darcs-users] Re: argh. please change the name "unpull"

Ivan Stankovic pokemon at fly.srk.fer.hr
Fri Mar 18 21:55:46 UTC 2005

On Fri, Mar 18, 2005 at 04:02:03AM -0500, Michael Conrad wrote:
> On Thursday, March 17, 2005 6:02 PM, Jamie Webb wrote:
> > AOL, I think, as an improvement on unpull, but I do wonder if
> > something more dramatic and scary sounding might be an idea, since you
> > can lose data. Destroy; eradicate; annihilate... sounds corny, but
> > quite unequivocal.
> >
> > That, or maybe as I think someone else suggested a while back,
> > unpulled patches should be put 'on ice' somewhere. Not in a repository
> > where you have to worry about conflicts, just somewhere from which
> > they can be resurrected if necessary. And somewhere from which a user
> > can once and for all delete them manually if absolutely sure.
> Personally, I'd prefer "drop" or "toss" ;-)  They are only 4 letters long,
> and fit the theme of pulling and pushing.  They also would be semi-easy to
> pick off a list of commands, assuming the user is familiar with English.
> Actually, a non-English speaker might recognize "drop" from SQL.  Also, they
> imply that the patch will both be unapplied and removed from the inventory,
> and they don't have any logical alternate meaning.  (actually, "drop" could
> mean to delete an archive entirely, but it would be silly to have a command
> to do it, especially since it would kill the working directory)

Yes, "drop" seems nice, especially if you consider how often it is used in
expressions like "dropping a patch". If the name has to be changed (though
I don't have anything against unpull), I'd go for "drop".

Ivan Stankovic, pokemon at fly.srk.fer.hr

More information about the darcs-users mailing list