/open URI

[Robert Field]

Thanks, I like it.  This seems like it would be useful in tutorials and 
education.

I've created:

      https://bugs.openjdk.java.net/browse/JDK-8199912

-Robert


On 03/20/18 14:13, Christian Stein wrote:
> Hi!
>
> Is supporting a URI as the parameter for /open
> a feature you'd consider to add? Something like
>
>    /open https://host/path/script.jsh
>
> At the moment I'm semi-automatically pre-loading
> a set of required scripts using `Files.copy` before
> /open them as standard files. See [1] for details.
>
> Cheers,
> Christian
>
> [1] https://github.com/sormuras/bach#bootstrap-on-the-fly