$ darcs pull ~/darcs/ghc-testing/libraries/base
Note: if you want to change the default remote repository to
/home/simonmar/darcs-all/work/ghc-testing/libraries/base,
quit now and issue the same command with the --set-default flag.
No remote changes to pull in!
But I *know* this. In my ~/.darcs/defaults I have
pull --no-set-default
because that's the behaviour I find most useful.
Perhaps darcs could notice that the user explicitly asked for
--no-set-default, and supress the "helpful" message in that case?
Cheers,
Simon
_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users
