[isabelle-dev] Extension for jEdit Console Active Area

[Simon Foster]

Hi all,

Just a brief update on this. I've added the ability to pass a new working
directory to, which causes the shell to switch directory prior to running
the command. A patch increment to the previous one is attached.

Regards,

Simon.

On Wed, 21 Jul 2021 at 13:23, Simon Foster <simon.foster at york.ac.uk> wrote:

> Dear Isabelle Developers,
>
> I've had a first go at developing a PIDE active area that integrates with
> the jEdit console plugin. This is essentially a new Markup element called
> "run_shell_command" that can be used to execute a command in a target
> console. There's also a new Isabelle/ML function
> Active.run_shell_command: string -> string -> string -> string, which takes
> a target shell (e.g. "System", "Scala" etc.), a command to execute, and a
> message to display. If printed with writelen, the markup produces an active
> area in the Output pane that switches focus to the Console pane, and given
> Shell, and runs the given command. For example,
>
> writeln (Active.run_shell_command "System" "ghci" "Start GHCi")
>
> An envisaged use case is use of external interpreters, such as GHCi, to
> execute code and other exported artifacts. A patch wrt. to the Isabelle
> development repository, adding the above functionality, is attached. I'd be
> happy to receive any feedback or suggested changes on this.
>
> Regards,
>
> Simon.
>
> --
> Dr. Simon Foster - Research Fellow in Computer Science
> High Integrity Systems Engineering Group, University of York
> http://www.cs.york.ac.uk/~simonf
>
> *My normal working hours are 8:30am to 4:30pm Monday to Friday.*
>


-- 
Dr. Simon Foster - Research Fellow in Computer Science
High Integrity Systems Engineering Group, University of York
http://www.cs.york.ac.uk/~simonf

*My normal working hours are 8:30am to 4:30pm Monday to Friday.*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210723/33b2a603/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: active_console_2.diff
Type: text/x-patch
Size: 3761 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210723/33b2a603/attachment.bin>