On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa <as...@ccs.neu.edu> wrote:
> it will install TR from github and reinstall. An excerpt from the config
> for that git repo looks like this:
>   [remote "origin"]
>           url = git://github.com/racket/typed-racket/
> The problem is that this URL is not as useful as it could be because
> github won't let you push to it (at least I can't seem to). The
> corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me
> push.

If this is done by the package system in an attempt to get something
that works for anyone, then http URLs (for GH, replace git:// with
http://) work better -- they work for anyone, and require a
username/password when pushing.  (With several ways to have them cached,
stored in your keychain or whatever.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!
  Racket Developers list:

Reply via email to