Where to find notebook files

[enzotib]

I installed the pip package Mathics-omnibus. It pulled the docker image. Then I started dmathicsserver and accessed the web page, all OK.
But where are notebook file saved? How can I exchange files between host and container?

[rocky]

I just fixed a problem in dmathicsscript for the most recent Docker image.

The location of this information inside Docker has changed, and commit 9a6e3d0a has the changes for the most recent Docker image.

The environment variable APP_DATADIR specifies the directory for the workspace file, which is called mathics.sqlite. (I will probalby soon rename that to Mathics3.sqlite)

This is a SQLITE database file. The field content of table web_worksheet contains the data for the cells:

$ sqlite3 /tmp/mathics.sqlite
sqlite> select content from web_worksheet ;
[{"request":""},
{"request":"(**** Calculation ****)",
  "results":[]},
{"request":"Sin[Pi]",
  "results":[{"out":[],"result":"<math display=\"block\"><mstyle mathvariant=\"sans-serif\"><mn>0</mn></mstyle></math>","line":216,"form":null}]},
{"request":"E ^ (Pi I) (* Euler's famous equation *)",
  "results":[{"out":[],"result":"<math display=\"block\"><mstyle mathvariant=\"sans-serif\"><mn>-1</mn></mstyle></math>","line":217,"form":null}]},
  {"request":"N[E, 30] (* 30-digit Numeric approximation of E *)",
  "results":[{"out":[],"result":"<math display=\"block\"><mstyle mathvariant=\"sans-serif\"><mn>2.71828182845904523536028747135</mn></mstyle></math>","line":218,"form":null}]},

The data, however, is only written when you save the workspace, that is the 2nd from the left icon in the right panel.

[enzotib]

Thank you, interesting, not easy to manage, from a user perspective

[rocky]

Thank you, interesting, not easy to manage, from a user perspective

I agree, far from ideal. This is what we inherited, and it is one of the several areas that need to be redone.

The repository Mathics3 Frontends hooks into Jupyter notebooks much better. That is not in Docker since it runs entirely in WASM and your browser, I think.