riscv
/
OpenFPGA
mirror of https://github.com/lnis-uofu/OpenFPGA.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1038 from lnis-uofu/demo_docs 

Updating binder dockers
This commit is contained in:
Ganesh Gore 2023-02-03 15:58:09 -07:00 committed by GitHub
parent bcfeca388d f82da04932
commit 4955379c76
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Dockerfile
View File

@ -7,15 +7,26 @@ 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
RUN code-server --install-extension mechatroner
ARG NB_USER=openfpga_user
RUN usermod -u 2000 openfpga_user
RUN groupmod -g 2000 openfpga_user
ARG NB_USER=user_openfpga
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}
RUN chown -R ${NB_UID} ${HOME}
RUN chown -R ${NB_UID} /opt/openfpga
WORKDIR ${HOME}
USER ${NB_USER}
ENV PATH $PATH:/home/${NB_USER}/.local/bin
@ -24,12 +35,12 @@ RUN python3 -m pip install --upgrade pip
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<2.0.0"
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
WORKDIR /opt/openfpga/
RUN git reset --hard HEAD