Synced repo using 'sync_with_huggingface' Github Action
Browse files- Dockerfile +3 -3
Dockerfile
CHANGED
@@ -4,6 +4,9 @@ FROM python:3.10
|
|
4 |
# install Git (if it's not already installed)
|
5 |
RUN apt-get update && apt-get install -y git
|
6 |
|
|
|
|
|
|
|
7 |
# force docker to rebuild from this step if version.json changes
|
8 |
ADD http://worldtimeapi.org/api/timezone/Asia/Jakarta version.json
|
9 |
|
@@ -13,9 +16,6 @@ ENV TZ=Asia/Jakarta
|
|
13 |
# git clone from private repo
|
14 |
RUN --mount=type=secret,id=GIT_REPO,mode=0444,required=true git clone $(cat /run/secrets/GIT_REPO) /app
|
15 |
|
16 |
-
# allow permissions
|
17 |
-
RUN find . -type d -exec bash -c 'chmod 777 "$0"' {} \;
|
18 |
-
|
19 |
# set working directory
|
20 |
WORKDIR /app
|
21 |
|
|
|
4 |
# install Git (if it's not already installed)
|
5 |
RUN apt-get update && apt-get install -y git
|
6 |
|
7 |
+
# allow permissions
|
8 |
+
RUN find . -type d -exec bash -c 'chmod 777 "$0"' {} \;
|
9 |
+
|
10 |
# force docker to rebuild from this step if version.json changes
|
11 |
ADD http://worldtimeapi.org/api/timezone/Asia/Jakarta version.json
|
12 |
|
|
|
16 |
# git clone from private repo
|
17 |
RUN --mount=type=secret,id=GIT_REPO,mode=0444,required=true git clone $(cat /run/secrets/GIT_REPO) /app
|
18 |
|
|
|
|
|
|
|
19 |
# set working directory
|
20 |
WORKDIR /app
|
21 |
|