On 1/6/2014 11:52 AM, Ville M. Vainio wrote:
Here's an idea: new command line argument to launchleo:
python launchleo.py --init=http://leoeditor.com/templates/trivial1.leo
This would just copy the file from the url as your myLeoSettings.leo,
as a "starting point".
We could use that in docs to bootstrap leo easily.
Neat idea, but could be a problem if someone compromised
leoeditor.com... though I don't see that happening, I'm a paranoid type.
The Io progamming language has a similar feature -- it can fetch and run
Io source code from any generic URL, that I've used to effect in
tutorials, hosting libraries from github and telling people to pull them in:
Io>
doURL("https://github.com/gatesphere/blog-resources/raw/master/downloads/source/io/LSystem.io";)
-->Jake
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
