Re: [racket-users] How to edit the htdp package from a release?

2016-10-13 Thread Alex Harsanyi
On Thursday, October 13, 2016 at 12:01:44 AM UTC+8, Matthew Flatt wrote: > > In this case, things will work better if you use > > $ bin/raco pkg update --catalog https://pkgs.racket-lang.org htdp I tried to run this command (as I also would like to work on some built in packages), and after

Re: [racket-users] How to edit the htdp package from a release?

2016-10-12 Thread Ben Greenman
yes yes yes Thank you! On Wed, Oct 12, 2016 at 12:01 PM, Matthew Flatt wrote: > At Wed, 12 Oct 2016 11:34:06 -0400, Ben Greenman wrote: > > I've installed Racket 6.6 from download.racket-lang.org and I'd like to > > submit a change to the HTDP repo. > > > > (This question is

Re: [racket-users] How to edit the htdp package from a release?

2016-10-12 Thread Matthew Flatt
At Wed, 12 Oct 2016 11:34:06 -0400, Ben Greenman wrote: > I've installed Racket 6.6 from download.racket-lang.org and I'd like to > submit a change to the HTDP repo. > > (This question is not really specific to HTDP, anyway) > > Before I submit the edit, I want to test the change on my machine,

Re: [racket-users] How to edit the htdp package from a release?

2016-10-12 Thread 'John Clements' via Racket Users
> On Oct 12, 2016, at 8:43 AM, 'John Clements' via Racket Users > wrote: > > >> On Oct 12, 2016, at 8:34 AM, Ben Greenman >> wrote: >> >> I've installed Racket 6.6 from download.racket-lang.org and I'd like to >> submit a change

Re: [racket-users] How to edit the htdp package from a release?

2016-10-12 Thread 'John Clements' via Racket Users
> On Oct 12, 2016, at 8:34 AM, Ben Greenman wrote: > > I've installed Racket 6.6 from download.racket-lang.org and I'd like to > submit a change to the HTDP repo. > > (This question is not really specific to HTDP, anyway) > > Before I submit the edit, I want to

[racket-users] How to edit the htdp package from a release?

2016-10-12 Thread Ben Greenman
I've installed Racket 6.6 from download.racket-lang.org and I'd like to submit a change to the HTDP repo. (This question is not really specific to HTDP, anyway) Before I submit the edit, I want to test the change on my machine, so I figure I'll make a clone of the htdp package: $ raco pkg