jmanhype
commited on
Commit
Β·
f7baced
1
Parent(s):
9de475d
fix: install wget in root user section
Browse files
scripts/gradio/Dockerfile
CHANGED
@@ -5,9 +5,10 @@ LABEL MAINTAINER="anchorxia, zhanchao"
|
|
5 |
LABEL Email="[email protected], [email protected]"
|
6 |
LABEL Description="musev gradio image, from docker pull anchorxia/musev:latest"
|
7 |
|
8 |
-
# Set up git config file
|
9 |
USER root
|
10 |
-
RUN rm -rf /
|
|
|
11 |
touch /etc/gitconfig && \
|
12 |
chmod 666 /etc/gitconfig && \
|
13 |
git config --system user.email "[email protected]" && \
|
|
|
5 |
LABEL Email="[email protected], [email protected]"
|
6 |
LABEL Description="musev gradio image, from docker pull anchorxia/musev:latest"
|
7 |
|
8 |
+
# Set up git config file and install wget
|
9 |
USER root
|
10 |
+
RUN apt-get update && apt-get install -y wget && rm -rf /var/lib/apt/lists/* && \
|
11 |
+
rm -rf /etc/gitconfig && \
|
12 |
touch /etc/gitconfig && \
|
13 |
chmod 666 /etc/gitconfig && \
|
14 |
git config --system user.email "[email protected]" && \
|