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:
http://lists.racket-lang.org/dev
