<div dir="ltr">Hi all,<div><br></div><div>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.</div><div><br></div><div>Regards,</div><div><br></div><div>Simon.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 21 Jul 2021 at 13:23, Simon Foster <<a href="mailto:simon.foster@york.ac.uk">simon.foster@york.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Dear Isabelle Developers,</div><div><br></div>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, <div><br></div><div>writeln (Active.run_shell_command "System" "ghci" "Start GHCi")<br><div><br></div><div>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.</div><div><br></div><div>Regards,</div><div><br></div><div>Simon.<br><div><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr. Simon Foster - <span style="font-size:12.7273px">Research Fellow in Computer Science</span><div><span style="font-size:12.7273px">High Integrity Systems Engineering Group, University of York</span></div><div><span style="font-size:12.7273px"><a href="http://www.cs.york.ac.uk/~simonf" target="_blank">http://www.cs.york.ac.uk/~simonf</a></span></div><div><br></div><div><i>My normal working hours are 8:30am to 4:30pm Monday to Friday.</i></div></div></div></div></div></div></div></div></div></div></div>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr. Simon Foster - <span style="font-size:12.7273px">Research Fellow in Computer Science</span><div><span style="font-size:12.7273px">High Integrity Systems Engineering Group, University of York</span></div><div><span style="font-size:12.7273px"><a href="http://www.cs.york.ac.uk/~simonf" target="_blank">http://www.cs.york.ac.uk/~simonf</a></span></div><div><br></div><div><i>My normal working hours are 8:30am to 4:30pm Monday to Friday.</i></div></div></div></div></div></div></div>