Interaction with Isabelle without GUI

Question

I am trying to implement a command line version of Isabelle/JEdit so I can

1. Run the Isabelle server in another docker/machine
2. Allow the integration of m