[darcs-users] Re: argh. please change the name "unpull"
peter at syncad.com
Fri Mar 18 09:21:29 UTC 2005
I second this. Especially the part about optimization of finding
the right command first. Naming consistency and groping helps
here. Shortcuts / separating words in commands with dash in
one command name only? No grouping at all in the help message
Unpull sounds best. Moreover I think the command should be safe
and allow unpulling only when it was pulled (or maybe applied).
If you want to destroy data in your repository you can still use
unrecord and revert together. Again unrecord should be safe and
should not allow you to do it if the patch was pushed/sent.
Darcs command names are based on the typical workflow and not based
on what physically the command does (which data stores (working
copy, this repository, another repository) does it modify). This
leads to comfortable interface in most cases but the interface
is not orthogonal. That's ok. It was chosen that way. But it also
means it should continue that way. Otherwise the interface which
is not very consistent now (shortcuts, word division), will be
even more inconsistent.
Keep the naming strategy the way you started. Do not try to mix
names based on workflow with names based on what the command
I hope I expressed myself good enough and this is understandable.
Thomas Zander wrote:
> On Thursday 17 March 2005 22:11, Zooko O'Whielacronx wrote:
>>>Another option is to explain the reasoning behind the naming; it is to
>>>undo the pulling.
>>This might persuade my boss that "unpull" is a good name, but it won't
>>give me my five minutes back. Also it would take up more of my
>>Seriously, the name "unpull" wastes people's 5-minutes. That's
>>sufficient reason to change it, even if it is a good name once you've
> In real live more people find out _how_ to do things by searching for the
> right command then the thing you explained here; which is to explain _why_
> a certain command is named as it is.
> I certainly believe we should optimise for the finding of the right command
> first. And UnPull being the opposite of Pull in actual usage makes me feel
> it really is the best name. Erase is not what I would pick from a list of
> items if I wanted to undo a pull action.
> darcs-users mailing list
> darcs-users at darcs.net
More information about the darcs-users