mini-update: curl, the get command
igloo at earth.li
Wed Feb 18 14:18:27 EST 2009
Just another mini-update.
Camp now uses CURL, so it ought to work for remote HTTP and SSH repos
(although I haven't actually tested that yet). And URL is now an
abstract type, so it's harder to accidentally ask curl to download
"foo/bar", or to try to open "file:foo/bar" as a file.
When getting the inventory and patches from a remote (unlocked) repo, we
now cache them in a temporary file so as to get a consistent view of the
Together, this means that the "get" command is now more-or-less
complete. The profile isn't looking entirely healthy:
This will at least partly be due to a GHC bug:
which we might be able to work around, and there may also be other
space problems that need looking into.
More information about the Camp