FROM ghcr.io/lnis-uofu/openfpga-master:latest # Install node js RUN curl -sL https://deb.nodesource.com/setup_12.x | bash - RUN curl -fsSL https://code-server.dev/install.sh | sh RUN apt-get install -y nodejs RUN apt-get install tree RUN code-server --install-extension ms-python.python ARG NB_USER=openfpga_user ARG NB_UID=1000 ENV USER ${NB_USER} ENV NB_UID ${NB_UID} ENV HOME /home/${NB_USER} RUN adduser --disabled-password \ --gecos "Default user" \ --uid ${NB_UID} \ ${NB_USER} USER root RUN chown -R ${NB_UID} ${HOME} RUN chown -R ${NB_UID} /opt/openfpga USER ${NB_USER} ENV PATH $PATH:/home/${NB_USER}/.local/bin RUN python3 -m pip install --user --no-cache-dir notebook RUN python3 -m pip install --user --no-cache-dir jupyterlab RUN python3 -m pip install --user --no-cache-dir jupyterhub RUN python3 -m pip install --user --no-cache-dir jupyter-server-proxy RUN python3 -m pip install --user --no-cache-dir jupyter-vscode-proxy RUN npm install @jupyterlab/server-proxy RUN jupyter serverextension enable --py jupyter_server_proxy RUN jupyter labextension install @jupyterlab/server-proxy RUN jupyter lab build