[darcs-users] Re: Preference editor

David Brown darcs at davidb.org
Thu Jul 1 06:52:05 UTC 2004


On Wed, Jun 30, 2004 at 06:29:51PM -0700, Samuel A. Falvo II wrote:

> For that matter, I propose we choose a different word than "set" -- 
> "change" is my recommendation.

I think "change" has too many connotations associated with revision
control, so might be best avoided for something different.  I think
"set" is a very good word since it will probably end up in any
description you give of another command.

Gdb uses set and show for settings.

Dave




More information about the darcs-users mailing list