I think it's okay. Whatever gets written to _darcs/prefs/defaultrepo
should already be "fixed" i.e. converted to an absolute path unless
it's a URL. The only place where we write that file is in
addRepoSource. The value is either its first argument (the local
repodir) or (for --inherit-default) the defaultrepo of the remote. I
just checked that in all cases addRepoSource gets the repodir in
"fixed" form (using fixUrl). BTW, the remaining place where
fixRepoPath is called is redundant, too.
This could be improved by replacing String with AbsoluteOrRemotePath
which has this invariant baked in. I have a few improvements for
D.R.Prefs in my working branch and would like to send them first
before making such a change.
|