Open thofma opened 1 month ago
With github codespaces, and a github account, you can fire up vscode in the browser with the Oscar.jl repo and a terminal where you can use Oscar (from the Code
button on the Oscar repo). This currently seems to use julia 1.8.4, I think we should update the .devcontainer/devcontainer.json
.
It takes quite a while to ]up
and precompile Oscar, maybe we can install a precompiled Oscar via maps? Also Oscar fails to load with the recog
error due to missing software.
After manually installing build-essential
I was finally able to start Oscar in the terminal:
This does work (without installing oscar locally) but is not really quick and nor easy to use I would say.
There is also a open in jupyterlab
button for the codespace but that doesn't seem to work since jupyter is probably not installed in the container.
Just so that we don't lost track of it. It would be cool to have a way to try out Oscar without installing Oscar. The canonical candidate would be to have a way to spin up an instance of a jupyter notebook.