[darcs-users] Random rant about --no-set-default

Matthias Kilian kili at outback.escape.de
Mon Jan 5 22:11:09 UTC 2009


On Sun, Jan 04, 2009 at 09:12:58PM +0000, Eric Kow wrote:
> > Wouldn't it be more sane to *never* touch the default repo by
> > default, remove that --no-set-default option, and add instead the
> > opposite (--set-default)? In other words, --no-set-default should
> > be the default IMHO.
> 
> Both options are there.  It's just a question of what should be the
> right default.  If you think it's just you, you could set ALL
> no-set-default in your ${HOME}/.darcs/defaults.

I'll certainly do it for now ;-)

> If you think this is a matter for all users (and I think would agree
> with you if you did), then it is likely a good idea to hold a debate
> on this list, making sure to summarise the results on
>   http://wiki.darcs.net/index.html/DefaultSwitches

Ok, some reasons why pushing to or pulling from a repository different
than the default one shouldn't change the default by default:[1]

- pulling (cherrypicking) from http://really.weird.stuff, because
  they may have some really cool stuff. You certainly don't want
  to let darcs set your default repository to http://really.weird.stuff
  in this case.

- pushing to http://probably.good.but.still.unfinished (a "private"
  (a private repository you want to save your own scratch work
  into). If you're usually pulling from some upstream repository,
  the current behaviour would immediately cut you off upstream
  changes (because suddenly you always pull from your scratch
  repository).

- mirroring. you're running a cronjob that pulls upstream patches every
  few hours, and you've a local working area that pulls from your
  mirror. Now, if you want to get some exciting new patches from
  upstream into your local working area quickly, you don't want to
  change the default repository from your mirror to upstream. I.e.,
  initially you ran

	$ darcs get http://some.mirror

  and pull with just

	$ darcs pull

  to get new patches from the mirror, but after a

	$ darcs pull http://upstream

  your default repository is currently changed from http://some.mirror
  to http://upstream.


> the default.  I also think that if we were to mess around with the
> defaults, we could maybe consider having a big bang changeover of the
> default switches in darcs 2.3.

With a huge warning sign attached to the release notes ;-)

Ciao,
	Kili

[1] Three occurences of the word "default" in a single line.
    See also the signature of this mail.

-- 
default, n.:
	[Possibly from Black English "De fault wid dis system is you,
mon."] The vain attempt to avoid errors by inactivity.  "Nothing will
come of nothing: speak again." -- King Lear.
		-- Stan Kelly-Bootle, "The Devil's DP Dictionary"


More information about the darcs-users mailing list