[darcs-users] Problem get'ing a repository

[David Roundy]

On Sat, Oct 18, 2003 at 09:20:35AM -0400, Sean E. Russell wrote:
> > darcs get -v /tmp/reponame
> 
> That sort of works.  The patch succeeds, but the resulting repository has
> that same error.  Also, darcs check appears to be leaving behind a
> darcs_check directory.  (I've removed blank lines from this script):
>
> ser at petra /tmp% ssh maus 'cd /web/Germane-Software/darcs ; tar cjf - rexml' | 
> tar xjf -
> bzip2: (stdin): trailing garbage after EOF ignored
> ser at petra /tmp% darcs get -v rexml
> Getting the inventory...
> Copying Initial_patch-ser9germane-software.com-Fri_Oct_17_15.38.58_PDT_2003
> Finished getting.
> ser at petra /tmp% cd rexml
> ser at petra /tmp/rexml% darcs check
> The repo is consistent!
> ser at petra /tmp/rexml% cd ../rexml_0
> ser at petra /tmp/rexml_0% darcs check
> Error:  try removing directory `/tmp/darcs_check'
> ser at petra /tmp/rexml_0% rm -rf ../darcs_check
> ser at petra /tmp/rexml_0% darcs check
> Fail: Patch.lhs:1944: Non-exhaustive patterns in case

When darcs check fails, it used to leave behind the /tmp/darcs_check
directory, but that changed back before darcs 0.9.12.  Could it be that
your laptop is actually running an older version of darcs? At the moment
this is seeming like the most likely reason for the problem.

> Now, there is something I've noticed: Apache (or my Apache install, at least) 
> forwards connections to directories to another URL.  EG, if I say:
> 
> 	http://maus/darcs
> 
> it results in a redirect to:
> 
> 	http://maus/darcs/
> 
> Will darcs catch this?

That shouldn't be a problem.

> > Also, is there any change I could get a copy of this repository for
> > testing? I'd very much like to track down this problem, but unfortunately
> 
> Sure:
> 
> 	http://www.germane-software.com/darcs/rexml
> 
> I'll email you a tarball privately so as to not pollute the list.

Thanks.  I haven't been able to reproduce the error.  The only thing
remotely unusual about your repository seems to be that you have some
non-ASCII characters in some of your files.  I don't think that should be a
problem, but since I don't have anything like that in my repos, I wouldn't
know if there was a problem.

> > It would also be good to try on the first system running "darcs check",
> > just to make sure the repository isn't corrupt.  You could also try "darcs
> > check" on the second system after copying the repo over by hand.
> 
> Yeah, I had tried that on the server-side repository, and it seemed OK.  It 
> also succeeds when I move the repository via tar (no surprise).  One thing 
> that seemed odd to me was the presence of an empty "pending" file in the 
> server-side repository; I don't know if it was supposed to be there, but 
> darcs check, record, and whatsnew didn't report any unusual results.

An empty pending file is normal.  It isn't required, but rather than
deleting the pending file I often overwrite it with an empty file, for no
particularly good reason--except perhaps that a file remove will fail if
the file doesn't exist.
-- 
David Roundy
http://www.abridgegame.org