OpenFPGA/Dockerfile

FROM ghcr.io/lnis-uofu/openfpga-master:8d555772

# Install node js
USER root
RUN curl -sL https://deb.nodesource.com/setup_14.x | bash -
RUN curl -fsSL https://code-server.dev/install.sh | sh
RUN apt-get install -y nodejs
RUN apt-get install tree

# = = = = = = = VSCODE Extension installation = = = = = = =
# Python support in vscode
RUN code-server --install-extension ms-python.python
# For CSV file alignment
RUN code-server --install-extension mechatroner.rainbow-csv
# For VCD Viewer
RUN wget -O _wavetrace.gz https://marketplace.visualstudio.com/_apis/public/gallery/publishers/wavetrace/vsextensions/wavetrace/1.1.2/vspackage
RUN code-server --install-extension wavetrace.wavetrace
# For XML Linting
RUN code-server --install-extension dotjoshjohnson.xml
# For git graphs
RUN code-server --install-extension mhutchie.git-graph
# verilog-linter
RUN code-server --install-extension mshr-h.veriloghdl
# = = = = = = = = = = = = = = = = = = = = = = = = = = = = =

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

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 lab build
WORKDIR /opt/openfpga/
RUN git reset --hard HEAD

# Set up terminal
RUN echo 'export PS1="\[$(tput bold)\]\[\033[38;5;220m\]\u\[$(tput sgr0)\]:\[$(tput sgr0)\]\[$(tput bold)\]\[\033[38;5;14m\]\W\[$(tput sgr0)\]\\$\[$(tput sgr0) \]"' >> ~/.bashrc
RUN echo 'alias codeopen="code-server -r "' >> ~/.bashrc
RUN mkdir -p .vscode && echo '{"files.associations": {"*.openfpga": "shellscript"},"workbench.colorTheme": "Monokai"}' > .vscode/settings.json