Our JupyterLab deployment mounts /home, which means that everything that this container puts there, most notably the syntax highlighting extension, is not visible to users. I resolved it like this:
FROM ghcr.io/ihaskell/ihaskell-notebook:master
RUN mkdir --parents /usr/local/share/jupyter/labextensions \
&& ln -s /opt/IHaskell/jupyterlab-ihaskell/labextension \
/usr/local/share/jupyter/labextensions/jupyterlab-ihaskellIMO, this should be where ihaskell-notebook puts the extension.
Another solution I have considered: the "ihaskell install" command could be amended such that it installs not just the kernelspec, but also the extension.
Our JupyterLab deployment mounts
/home, which means that everything that this container puts there, most notably the syntax highlighting extension, is not visible to users. I resolved it like this:IMO, this should be where
ihaskell-notebookputs the extension.Another solution I have considered: the "ihaskell install" command could be amended such that it installs not just the kernelspec, but also the extension.