Re: [racket-users] raco planet open tries to install?

2017-11-02 Thread Neil Van Dyke
If it ever helps, the ancient Quack package for Emacs has a convenient and safe mode for quickly inspecting ".plt" files (page through them, isearch): http://www.neilvandyke.org/temporary/20171102-quack-plt-screenshot.png http://www.neilvandyke.org/quack/ (So ancient, I just noticed, that I ha

Re: [racket-users] raco planet open tries to install?

2017-11-02 Thread Robby Findler
I think that, at some point, we changed things so that planet declines to run arbitrary code in the .plt file. I'm not sure how this works, tho, it could just check that the code is the known code and then runs it. (Or I could misremember and we merely planned to do that.) Robby On Thu, Nov 2, 20

Re: [racket-users] raco planet open tries to install?

2017-11-02 Thread 'John Clements' via Racket Users
Ooh… yikes. Looking at the code, it looks like PLT files include their own unpackers? Is this correct? In this case, I understand that this could be a problem. This also seems like a bad idea; I wouldn’t have expected unpacking to run potentially untrusted code. Anyhow, that’s all in the past,

[racket-users] raco planet open tries to install?

2017-11-02 Thread 'John Clements' via Racket Users
I’m surprised by this interaction with raco planet: % raco planet open ../margrave3-dev-0203.plt . cannot install; version (400) of collection ("mzscheme") is required, but version is installed context...: /Users/clements/racket/racket/collects/setup/unpack.rkt:408:31: loop /Users/cleme