Re: [racket-dev] raco pkg update --clone and git URL config
On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa 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
Re: [racket-dev] raco pkg update --clone and git URL config
FWIW, I have just been doing "git remote set-url origin " and it has worked well and been easy. Robby On Tuesday, December 16, 2014, Sam Tobin-Hochstadt wrote: > I think this is the case for everyone. > > I've used the `hub` [1] tool to address this. Once I have a checkout, > if I need to push, I do: > > $ hub remote add -p racket/typed-racket > > and then > > $ git push racket > > Having an option to `raco pkg update` and `raco pkg install` to use > the corresponding ssh URL for `--clone` would be nice, though, and I > think it should be pretty easy to add. :) > > Sam > > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa > wrote: > > Hi all, > > > > I've been trying to adjust to the new package-split workflow now and > > I've bumped into a small usability problem and I wanted to see if anyone > > else has encountered this or if my config is just broken somehow. > > > > On a fresh build of Racket, if I do the following: > > raco pkg update --clone typed-racket > > > > 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. > > > > Is this something other people have encountered or is there some git > > config that I should fix on my end? > > > > Cheers, > > Asumu > > _ > > Racket Developers list: > > http://lists.racket-lang.org/dev > _ > Racket Developers list: > http://lists.racket-lang.org/dev > _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] raco pkg update --clone and git URL config
I think this is the case for everyone. I've used the `hub` [1] tool to address this. Once I have a checkout, if I need to push, I do: $ hub remote add -p racket/typed-racket and then $ git push racket Having an option to `raco pkg update` and `raco pkg install` to use the corresponding ssh URL for `--clone` would be nice, though, and I think it should be pretty easy to add. :) Sam On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: > Hi all, > > I've been trying to adjust to the new package-split workflow now and > I've bumped into a small usability problem and I wanted to see if anyone > else has encountered this or if my config is just broken somehow. > > On a fresh build of Racket, if I do the following: > raco pkg update --clone typed-racket > > 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. > > Is this something other people have encountered or is there some git > config that I should fix on my end? > > Cheers, > Asumu > _ > Racket Developers list: > http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] raco pkg update --clone and git URL config
Hi all, I've been trying to adjust to the new package-split workflow now and I've bumped into a small usability problem and I wanted to see if anyone else has encountered this or if my config is just broken somehow. On a fresh build of Racket, if I do the following: raco pkg update --clone typed-racket 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. Is this something other people have encountered or is there some git config that I should fix on my end? Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev