In Texoid, we have a Docker backend that contains the texlive installation (https://github.com/DMOJ/texbox).
We should have one here too. Selenium/Chrome sometimes crashes and leaves behind weird state, which would be "cleaned up" at container shutdown.
In Texoid, we have a Docker backend that contains the texlive installation (https://github.com/DMOJ/texbox).
We should have one here too. Selenium/Chrome sometimes crashes and leaves behind weird state, which would be "cleaned up" at container shutdown.