Spaces:
Paused
Paused
FROM nvidia/cuda:11.3.1-base-ubuntu20.04 | |
# Remove any third-party apt sources to avoid issues with expiring keys. | |
RUN rm -f /etc/apt/sources.list.d/*.list | |
ENV DEBIAN_FRONTEND=noninteractive \ | |
TZ=Europe/Paris | |
# Install some basic utilities | |
RUN apt-get update && apt-get install -y \ | |
curl \ | |
ca-certificates \ | |
sudo \ | |
git \ | |
git-lfs \ | |
zip \ | |
unzip \ | |
htop \ | |
bzip2 \ | |
libx11-6 \ | |
build-essential \ | |
libsndfile-dev \ | |
software-properties-common \ | |
&& rm -rf /var/lib/apt/lists/* | |
RUN add-apt-repository ppa:flexiondotorg/nvtop | |
RUN apt-get upgrade -y | |
RUN apt-get install -y nvtop | |
RUN curl -sL https://deb.nodesource.com/setup_14.x | bash - | |
RUN apt-get install -y nodejs | |
RUN npm install -g configurable-http-proxy | |
# Create a working directory | |
RUN mkdir /app | |
WORKDIR /app | |
# Create a non-root user and switch to it | |
RUN adduser --disabled-password --gecos '' --shell /bin/bash user \ | |
&& chown -R user:user /app | |
RUN echo "user ALL=(ALL) NOPASSWD:ALL" > /etc/sudoers.d/90-user | |
USER user | |
# All users can use /home/user as their home directory | |
ENV HOME=/home/user | |
RUN mkdir $HOME/.cache $HOME/.config \ | |
&& chmod -R 777 $HOME | |
# Set up the Conda environment | |
ENV CONDA_AUTO_UPDATE_CONDA=false \ | |
PATH=$HOME/miniconda/bin:$PATH | |
RUN curl -sLo ~/miniconda.sh https://repo.continuum.io/miniconda/Miniconda3-py39_4.10.3-Linux-x86_64.sh \ | |
&& chmod +x ~/miniconda.sh \ | |
&& ~/miniconda.sh -b -p ~/miniconda \ | |
&& rm ~/miniconda.sh \ | |
&& conda clean -ya | |
WORKDIR $HOME/app | |
####################################### | |
# Start root user section | |
####################################### | |
USER root | |
# User Debian packages | |
## Security warning : Potential user code executed as root (build time) | |
COPY --chown=root packages.txt /root/packages.txt | |
RUN apt-get update && xargs -r -a /root/packages.txt apt-get install -y && rm -rf /var/lib/apt/lists/* | |
COPY --chown=root on_startup.sh /root/on_startup.sh | |
RUN chmod +x /root/on_startup.sh | |
RUN /root/on_startup.sh | |
# Rerun chmod on home dir in case any new files need permisisons | |
RUN chmod -R 777 $HOME | |
####################################### | |
# End root user section | |
####################################### | |
USER user | |
# Copy the current directory contents into the container at $HOME/app setting the owner to the user | |
COPY --chown=user . $HOME/app | |
RUN chmod +x start_server.sh | |
RUN pip install --no-cache-dir --upgrade -r $HOME/app/requirements.txt | |
COPY --chown=user login.html /home/user/miniconda/lib/python3.9/site-packages/jupyter_server/templates/login.html | |
ENV PYTHONUNBUFFERED=1 \ | |
GRADIO_ALLOW_FLAGGING=never \ | |
GRADIO_NUM_PORTS=1 \ | |
GRADIO_SERVER_NAME=0.0.0.0 \ | |
GRADIO_THEME=huggingface \ | |
SYSTEM=spaces \ | |
SHELL=/bin/bash | |
CMD ["./start_server.sh"] |