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 wrote:
> 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 http://github.com/mbutterick/app.git 
> 
> The exception is `exn:fail:network` ("ssl-connect: connect failed 
> (error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol")
> 
> 
> Changing the `exn:fail:git?` to just `exn:fail?` repairs the https case:
> 
> raco pkg install https://github.com/mbutterick/app.git 
> 
> But not the http one:
> 
> raco pkg install http://github.com/mbutterick/app.git 
> 
> (Though AFAIK that error is valid: there's no vanilla http access available 
> to 
> GH)
> 
> 
> So maybe the problem is that `raco pkg install` is raising the wrong kind of 
> error when "Git checkout initial protocol fails" (`exn:fail:user` instead of 
> `exn:fail:git`)?
> 
> 
> > On Oct 26, 2017, at 8:12 AM, Jay McCarthy <jay.mccar...@gmail.com> wrote:
> > 
> > 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 it is catching every possible network error and
> > transforming it into a exn:fail:git error. The first is clearly going
> > to work but I can see that the second is what Matthew intended to be
> > done when he wrote this. @mflatt, can you weigh in?
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to