Email Gateway (Feb 01 2023 at 14:58): Email Gateway (Feb 01 2023 at 14:58):From: Jeremy Sylvestre <jsylvest@ualberta.ca>
Sorry if this has been asked a million times before, but the integration of
VSCodium into Isabelle2022 has seemingly broken my two favourite ways of
working on Isabelle theories interactively with a local GUI but having the
"heavy lifting" run on a more powerful remote machine.
(1) Run code-server with the Isabelle extension installed on the remote
machine, then connect using a browser through an SSH tunnel.
or
(2) Use the RemoteSSH extension on a locally running VSCode instance and
install the Isabelle extension on the remote machine.
I don't think either of these will work any longer if the Isabelle2022
vscode extension is tied to the bundled VSCodium only. In particular, the
RemoteSSH vscode extension is not open source and only runs on Microsoft's
build of VSCode.
Is there any way to configure Isabelle's vscode extension to connect to a
remotely running "isabelle server" instance?
Thanks,
Jeremy Sylvestre
Last updated: Apr 16 2024 at 12:28 UTC