> 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