Yeah, I run it on Linux all the time.
Jason Bertsche
Senior Software Developer - NetLogo
On 2/27/2014 8:05 PM, Era V wrote:
So, I've been running it since I changed the path, and it seems just
fine. If I don't add the path to the extensions folder, I can't use
any of the built-in extensions, like array, table, etc. Has anyone
else tried this on your team on Linux?
On Tuesday, February 25, 2014 3:09:27 PM UTC-5, Seth Tisue wrote:
>>>>> "Era" == Era V <[email protected] <javascript:>> writes:
Era> Does anyone know what $0 is? Is that just the starting path?
It's the full path to the launch script.
The reason the script includes the `cd` line is that NetLogo requires
that when it is launched, the JVM's current working directory must be
the NetLogo directory itself -- the directory containing `lib` and
`models` and `extensions` and `NetLogo.jar` and everything else.
This requirement is arguably unfortunate, but that's the way it is.
Further reading at https://github.com/NetLogo/NetLogo/issues/415
<https://github.com/NetLogo/NetLogo/issues/415> .
Era> Will this break something else in the future (so far it
seems to
Era> work fine)?
I'm at a loss to explain why your change wouldn't make NetLogo
fail to
launch entirely. Are you sure you're working with an unmodified
NetLogo
install where you haven't renamed anything or moved anything around?
We don't have any other reports of netlogo.sh failing to work, and
the
directory handling in it hasn't changed in donkey's years, so
afaics you
must be doing something unusual.
--
Seth Tisue | Northwestern University | http://tisue.net
developer, NetLogo: http://ccl.northwestern.edu/netlogo/
<http://ccl.northwestern.edu/netlogo/>
--
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/groups/opt_out.
--
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/groups/opt_out.
