headers
zooko | 26 Jan 2006 18:23
Gravatar

proposal: rename "darcs resolve" to "darcs mark-conflicts"


http://bugs.darcs.net/issue113

------- Forwarded Message

Subject: [issue113] The name "darcs resolve" is confusing.
To: droundy <at> darcs.net, ptp <at> lysator.liu.se, zooko <at> zooko.com
From: David Roundy <bugs <at> darcs.net>
Date: Thu, 26 Jan 2006 13:58:50 +0000

David Roundy <droundy <at> darcs.net> added the comment:

On Thu, Jan 26, 2006 at 05:47:36AM +0000, Zooko wrote:
> The command "darcs resolve" would be better named "darcs mark-conflicts".

Hmmmm.  That certainly does sound like an improvement to me.  I didn't see
this suggestion on the thread you quoted, so before making this change it
would be nice to see it aired as a proposal on darcs-users, to make sure
noone sees an objection.  It's a sufficiently obscure and rarely-used
command that I think we can be freer with renaming it than we would
normally be.
- --=20
David Roundy
http://www.darcs.net

- ----------
status: unread -> chatting

____________________________________
Darcs issue tracker <bugs <at> darcs.net>
(Continue reading)

Permalink | Reply |
headers
VMiklos | 29 Jan 2006 20:38
Picon
Gravatar

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

On Thu, Jan 26, 2006 at 01:23:38PM -0400, zooko <at> zooko.com wrote:
> Hmmmm.  That certainly does sound like an improvement to me.  I didn't see
> this suggestion on the thread you quoted, so before making this change it
> would be nice to see it aired as a proposal on darcs-users, to make sure
> noone sees an objection.  It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.

+1

udv / greetings,
VMiklos

--

-- 
Developer of Frugalware Linux, to make things frugal - http://frugalware.org
Permalink | Reply |
headers
Albert Reiner | 27 Jan 2006 15:38
Picon
Favicon

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

> > The command "darcs resolve" would be better named "darcs mark-conflicts".
> 
>                           It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.

Personally I have never had to use `resolve` so far, and I am in the
habit of always checking the --help message for commands I am not too
familiar with, so any renaming certainly won't bite me (although I
don't see any need for it either).  But I wonder if it would be
preferable to retain `resolve` as an alias (or as a separate command
that simply complains and points to the new name) so as to ensure that
the existing body of scripts and, more importantly, documentation
(including mailing list archives) remains correct (or at least usable).

Just my NOK 0.02,

Albert.
Permalink | Reply |
headers
Han-Wen Nienhuys | 26 Jan 2006 21:50
Picon
Picon

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

In article <20060126172338.5D34820657 <at> yumyum.zooko.com>,
 <zooko <at> zooko.com> wrote:
>> The command "darcs resolve" would be better named "darcs mark-conflicts".
>
>Hmmmm.  That certainly does sound like an improvement to me.  I didn't see

(me too)
Permalink | Reply |
headers
Jamie Webb | 26 Jan 2006 20:52

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

On Thu, Jan 26, 2006 at 01:23:38PM -0400, zooko <at> zooko.com wrote:
> > The command "darcs resolve" would be better named "darcs mark-conflicts".

+1

-- Jamie Webb
Permalink | Reply |
headers
Radosław Grzanka | 26 Jan 2006 21:12
Picon
Gravatar

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

2006/1/26, Jamie Webb <j <at> jmawebb.cjb.net>:
> On Thu, Jan 26, 2006 at 01:23:38PM -0400, zooko <at> zooko.com wrote:
> > > The command "darcs resolve" would be better named "darcs mark-conflicts".

+1

--
Galeria/Gallery: http://zdjecia.zuzia.homelinux.net/
Permalink | Reply |
headers
Nathan Gray | 26 Jan 2006 19:58

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

On Thu, Jan 26, 2006 at 01:23:38PM -0400, zooko <at> zooko.com wrote:
> 
> http://bugs.darcs.net/issue113
> 
> David Roundy <droundy <at> darcs.net> added the comment:
> 
> On Thu, Jan 26, 2006 at 05:47:36AM +0000, Zooko wrote:
> > The command "darcs resolve" would be better named "darcs mark-conflicts".
> 
> Hmmmm.  That certainly does sound like an improvement to me.  I didn't see
> this suggestion on the thread you quoted, so before making this change it
> would be nice to see it aired as a proposal on darcs-users, to make sure
> noone sees an objection.  It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.

I vote in favor of the change.

-kolibrie
Permalink | Reply |
headers
Zachary P. Landau | 26 Jan 2006 19:32
Picon

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

> > The command "darcs resolve" would be better named "darcs mark-conflicts".
>
> Hmmmm.  That certainly does sound like an improvement to me.  I didn't see
> this suggestion on the thread you quoted, so before making this change it
> would be nice to see it aired as a proposal on darcs-users, to make sure
> noone sees an objection.  It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.

Sounds like a good idea to me.  I never really understood what
'resolve' was supposed to do anyway, until this recent thread.

--
Zachary P. Landau <kapheine <at> gmail.com>
Permalink | Reply |
headers
Richard A. Smith | 26 Jan 2006 20:30

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"

Zachary P. Landau wrote:

> Sounds like a good idea to me.  I never really understood what
> 'resolve' was supposed to do anyway, until this recent thread.

Ditto.
+1

--

-- 
Richard A. Smith
Bitworks, Inc
Permalink | Reply |
headers
Jason Dagit | 26 Jan 2006 18:54
Picon
Favicon

Re: proposal: rename "darcs resolve" to "darcs mark-conflicts"


On Jan 26, 2006, at 9:23 AM, zooko <at> zooko.com wrote:

>
> http://bugs.darcs.net/issue113
>
> ------- Forwarded Message
>
> Subject: [issue113] The name "darcs resolve" is confusing.
> To: droundy <at> darcs.net, ptp <at> lysator.liu.se, zooko <at> zooko.com
> From: David Roundy <bugs <at> darcs.net>
> Date: Thu, 26 Jan 2006 13:58:50 +0000
>
>
> David Roundy <droundy <at> darcs.net> added the comment:
>
> On Thu, Jan 26, 2006 at 05:47:36AM +0000, Zooko wrote:
>> The command "darcs resolve" would be better named "darcs mark- 
>> conflicts".
>
> Hmmmm.  That certainly does sound like an improvement to me.  I  
> didn't see
> this suggestion on the thread you quoted, so before making this  
> change it
> would be nice to see it aired as a proposal on darcs-users, to make  
> sure
> noone sees an objection.  It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.
(Continue reading)

Permalink | Reply |

Gmane