I'm trying to download a source tarball from a private server that happens to use HTTP basic auth. I tried doing the usual "https://user:[email protected]/foo.tar.gz"; but it doesn't seem to work. This URI format works just fine when doing authenticated Git downloads. Does anyone know what is needed to make this work? AFAICT, the code in (guix build download) does indeed carry along the "userinfo" as it manipulates the URI.
Thanks, - Dave
