Well, when I say "automatic" I mean more in the sense of the way firefox does it, in that it will query the user and say "hey, this is an unverified extension we're going to put on your computer that may do harmful things to it"
That's a good point about Windows. Thinking of firefox, we would have to do extensions in much the same way it does, in the application data directory. That's a good thing to remember. Thanks for the feedback! Frank On Fri, Mar 20, 2015 at 09:33:08AM +0800, Ken Kahn wrote: > Since extensions can do anything that Java can the automatic loading of > extensions should probably be limited to CCL maintained extensions. No > point enabling NetLogo malware. > > Another issue to address is that on Windows NetLogo by default is installed > in Program Files and yet on many systems only administrator accounts can > add extensions to that part of the file system. Would the extension > autoloader have write access that the user doesn't? > > Best, > > -ken > > On 20 March 2015 at 00:46, Seth Tisue <[email protected]> wrote: > > > If anyone's wondering what prompted this discussion, see > > https://github.com/NetLogo/NetLogo/issues/574 for background. > > > > As Frank said, this is currently just discussion, not work in progress. > > > > Seth > > > > -- > > You received this message because you are subscribed to the Google Groups > > "netlogo-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected]. > > For more options, visit https://groups.google.com/d/optout. > > > > -- > You received this message because you are subscribed to the Google Groups > "netlogo-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
