Hi I’ve logged this as https://github.com/racket/drracket/issues/302
It’s not well logged - simply a placeholder - but it does reference this thread on gg should someone be interested. S On Wed, 28 Aug 2019 at 23:16, Robby Findler <[email protected]> wrote: > I think the best path forward probably involves changing DrRacket so > that, on a case-by-case basis, people can opt-in to loading specific > external libraries automatically. I've not yet tried to implement > that, but if someone wants to, the right starting place is the code > that currently disallows the access, which is here: > > > https://github.com/racket/drracket/blob/5a71d4580d9799a88707eb269879da0635ae97ad/drracket/drracket/private/expanding-place.rkt#L512 > > There would be changes required to identify that a shared library load > was denied, convey that back to the main place where DrRacket runs, > then add some way to offer people to allow it, which would then set a > preference somehow and the other place could consult that preference > to see what is allowed. Something like that. > > I like this idea and hope to get to it eventually, but I can't do it right > now. > > Robby > > > On Sat, Aug 24, 2019 at 10:12 PM Hong Yang <[email protected]> wrote: > > > > Hi Robby > > > > Thanks for your explain, is ther any way I can enforce to load the > module? or let me know which code did this? > > > > Best reagrds > > Walter > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAL3TdOOW7w8g7db6HjWh0yCBN5WaD5Js0Px7nW%2BUt28miswU5A%40mail.gmail.com > . > -- ---- -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAGHj7-J-6VNG8noxaGrecv1_mX5z9zB7fAEdK-WMmoxQF%2BxNLw%40mail.gmail.com.
