Docker

Dockerfile

@@ -0,0 +1,27 @@
+# From https://huggingface.co/spaces/sayakpaul/demo-docker-gradio/blob/main/Dockerfile
+
+FROM python:3.9
+
+WORKDIR /code
+
+COPY ./requirements.txt /code/requirements.txt
+
+RUN pip install --no-cache-dir --upgrade -r /code/requirements.txt
+
+# Set up a new user named "user" with user ID 1000
+RUN useradd -m -u 1000 user
+
+# Switch to the "user" user
+USER user
+
+# Set home to the user's home directory
+ENV HOME=/home/user \
+    PATH=/home/user/.local/bin:$PATH
+
+# Set the working directory to the user's home directory
+WORKDIR $HOME/app
+
+# Copy the current directory contents into the container at $HOME/app setting the owner to the user
+COPY --chown=user . $HOME/app
+
+CMD ["python", "main.py"]

README.md

@@ -3,9 +3,7 @@ title: Dirty Ghidra
 emoji: 👀
 colorFrom: indigo
 colorTo: red
-sdk: gradio
-sdk_version: 4.42.0
-app_file: app.py
+sdk: docker
 pinned: false
 ---