Re: [racket-users] `raco pkg install` from private GitHub repo?

I think I found the problem. On this line: https://github.com/racket/racket/blob/master/racket/collects/pkg/private/checkout-credentials.rkt#L10 The variable `credentials-list` starts out as

Re: [racket-users] `raco pkg install` from private GitHub repo?

I'm going to go with exn:fail? in this case and push that. On Thu, Oct 26, 2017 at 12:11 PM, Matthew Flatt wrote: > Yes, that makes sense. The "checkout initial protocol failed" error is > from the package manager in "private/stage.rkt". If the package manager > didn't

Re: [racket-users] `raco pkg install` from private GitHub repo?

Yes, that makes sense. The "checkout initial protocol failed" error is from the package manager in "private/stage.rkt". If the package manager didn't provide `#:initial-error` there, then `git-checkout` would raise an `exn:fail:git` exception. At Thu, 26 Oct 2017 09:04:35 -0700, Matthew Butterick

Re: [racket-users] `raco pkg install` from private GitHub repo?

FWIW for this command: raco pkg install https://github.com/mbutterick/app.git The exception is `exn:fail:user` ("raco pkg install: Git checkout initial protocol failed; the given URL might not refer to a Git repository") And for this command: raco pkg install

Re: [racket-users] `raco pkg install` from private GitHub repo?

Okay, what's going on here is that it is supposed to first try without your password and then try with it. But it is failing with something other than a exn:fail:git? so it isn't catching it and trying again. We either need to change that to exn:fail? or audit net/git-checkout and make sure that

Re: [racket-users] `raco pkg install` from private GitHub repo?

Mmm, that SHOULD be the same code path as what `raco pkg` is using. Could you plop an eprintf on this line and see what arguments `raco pkg` is giving `git-checkout` and we can see what code is at fault? https://github.com/racket/racket/blob/master/racket/collects/net/git-checkout.rkt#L54 On

Re: [racket-users] `raco pkg install` from private GitHub repo?

The command seems to work when I remove the .git suffix: racket -l net/git-checkout -- --https -u mbutterick -p password github.com /mbutterick/app test Output: Contacting github.com Getting refs Getting 24 objects Applying deltas Extracting tree to test Cleaning up

Re: [racket-users] `raco pkg install` from private GitHub repo?

Will you try this first so we can debug the protocol level stuff? racket -l net/git-checkout -- --https -u mbutterick -p password github.com /mbutterick/repo.git test You may need to fiddle with the second to last argument. On Tue, Oct 24, 2017 at 6:00 PM, Matthew Butterick

Re: [racket-users] `raco pkg install` from private GitHub repo?

PS Same behavior on Ubuntu 14.04 or Mac OS 10.12.6, using Racket 6.10.1 in both cases. > On Oct 24, 2017, at 2:57 PM, Matthew Butterick wrote: > > Things seem to be on the right track, and then fail: > > Querying Git references for app at http://github.com/mbutterick/app.git

Re: [racket-users] `raco pkg install` from private GitHub repo?

>> On Oct 24, 2017, at 2:27 AM, Jay McCarthy > > wrote: >> >> You do `raco pkg config --set git-checkout-credentials user:password` >> and then it will work. Sorry but I'm still stuck here. I did this: sudo raco pkg config --set

Re: [racket-users] `raco pkg install` from private GitHub repo?

Thanks. Note to future mailing-list readers: this feature was introduced in Racket v6.7. > On Oct 24, 2017, at 2:27 AM, Jay McCarthy wrote: > > You do `raco pkg config --set git-checkout-credentials user:password` > and then it will work. -- You received this message

Re: [racket-users] `raco pkg install` from private GitHub repo?

You do `raco pkg config --set git-checkout-credentials user:password` and then it will work. Jay On Tue, Oct 24, 2017 at 12:52 AM, Matthew Butterick wrote: > Seems like this has been asked before. But the exact search query is eluding > me. > > One can do `raco pkg install

[racket-users] `raco pkg install` from private GitHub repo?

Seems like this has been asked before. But the exact search query is eluding me. One can do `raco pkg install http://url/to/public/git/repo`. Is it possible to use a private repo as the target of `raco pkg install`? (IIRC, no.) What is the least painful workaround? Make a local clone of the