Re: [racket-users] Re: config.rktd

2021-06-06 Thread Matthew Flatt
At Fri, 4 Jun 2021 14:29:29 -0700 (PDT), Don Green wrote: > Now that I have learned of: config.rktd, > I think I'd rather use it, if it can be used to set > current-library-collection paths. > Should I just add to the config.rktd hash list: > (current-library-collection paths . > '(# > # #))

[racket-users] Re: config.rktd

2021-06-04 Thread Don Green
Now that I have learned of: config.rktd, I think I'd rather use it, if it can be used to set current-library-collection paths. Should I just add to the config.rktd hash list: (current-library-collection paths . '(# # #)) -- You received this message because you are subscribed to the Google