Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Eli Barzilay
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

Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Robby Findler
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,

Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Sam Tobin-Hochstadt
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

[racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Asumu Takikawa
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 type