Using jshell with libraries

[Robert Field]

> On Mar 22, 2018, at 4:43 AM, Christian Stein <sormuras at gmail.com> wrote:
> 
> 
> 
> On Wed, Mar 21, 2018 at 11:10 PM, Robert Field <robert.field at oracle.com <mailto:robert.field at oracle.com>> wrote:
> Thanks Shinya,
> 
> I'd definitely like to see the plug-in functionality addressed. [...]
> 
> 
> Which really sounds like a useful addition to jshell.
>  
> [...] Allowing the plug-in JAR to be referenced by URI might ease usage.
> 
> Reminds me of the "/open URI" feature request:
> 
>     https://bugs.openjdk.java.net/browse/JDK-8199912 <https://bugs.openjdk.java.net/browse/JDK-8199912>
Not by accident.  That is what got me thinking about it:  
   if    /open <uri>
   then   jshell <uri>
   and   jshell -start <uri>
   …

-Robert

> 
> At least the "load file from URI" implementation can be re-used then.
> 
> Cheers,
> Christian