>>>>> "Albert" == Albert Reiner <[EMAIL PROTECTED]> writes:
Albert> The recent renaming of `unpull' to `obl' seems to indicate
Albert> a trend away from the good `un-' names.
No, it indicates a trend away from *bad* `un-' names.
While unpull does invert a pull, it's not the inverse of pull because
you can unpull patches that were never pulled. Nor it is a renaming
AFAIK, it is a deliberate alias so that
darcs pull --patch="patch to test"
darcs unpull --patch="patch to test"
and
darcs record --patch="broken by design and best forgotten"
darcs obliterate --patch="broken by design and best forgotten"
are both reasonable sequences. This makes "pull" and "unpull"
inverses (and therefore safe) while "obliterate" is clearly dangerous,
as it undoes something that darcs alone cannot undo. Now the names
reflect that. Although use of unpull only on pull'ed patches is not
curently enforced, for many users the mnemonic effect is powerful, and
it hurts the rest very little.
--
School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Ask not how you can "do" free software business;
ask what your business can "do for" free software.
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
