> More precisely, the option --no-set-default has no effect if the repo
> does not already contain a _darcs/prefs/defaultrepo file.
That's the expected behaviour. Please don't change it.
The idea is that --no-set-default makes defaults sticky.
Juliusz