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, 2017 at 5:49 PM, 'John Clements' via Racket Users
<racket-users@googlegroups.com> wrote:
> 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, IIUC. Probably easiest just to dig up an
> older version of Racket to install this .plt file.
>
> John
>
>
>
>> On Nov 2, 2017, at 3:46 PM, 'John Clements' via Racket Users
>> <racket-users@googlegroups.com> wrote:
>>
>> 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 <unknown> is installed
>> context...:
>> /Users/clements/racket/racket/collects/setup/unpack.rkt:408:31: loop
>>
>> /Users/clements/racket/racket/collects/setup/../racket/private/map.rkt:57:19:
>> loop
>> /Users/clements/racket/racket/collects/setup/unpack.rkt:274:7
>> /Users/clements/racket/racket/share/pkgs/planet-lib/planet/raco.rkt:
>> [running body]
>> /Users/clements/racket/racket/collects/raco/raco.rkt: [running body]
>> /Users/clements/racket/racket/collects/raco/main.rkt: [running body]
>> %
>>
>> Specifically, it appears to me that “open” shouldn’t perform checks
>> associated with installation. Before diving into the code for PLaneT…is this
>> a bug? Or am I misunderstanding how PLaneT is (was) supposed to work?
>>
>> Thanks!
>>
>> John
>>
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/d/optout.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
