Spaces:
Running
Running
Update Dockerfile
Browse files- Dockerfile +8 -4
Dockerfile
CHANGED
@@ -15,14 +15,18 @@ USER root
|
|
15 |
# ENV PATH="/home/user/.local/bin:$PATH"
|
16 |
# # ^ when run as `user`, pip installs executables there
|
17 |
|
18 |
-
|
19 |
-
|
20 |
RUN --mount=type=secret,id=key,mode=0444,required=true \
|
21 |
-
|
|
|
|
|
|
|
|
|
22 |
|
23 |
|
24 |
# RUN --mount=type=secret,id=key,mode=0444,required=true \
|
25 |
-
# echo "key=$(cat /run/secrets/key)" >> /etc/environment
|
|
|
|
|
26 |
|
27 |
RUN echo "Key is: $key"
|
28 |
|
|
|
15 |
# ENV PATH="/home/user/.local/bin:$PATH"
|
16 |
# # ^ when run as `user`, pip installs executables there
|
17 |
|
|
|
|
|
18 |
RUN --mount=type=secret,id=key,mode=0444,required=true \
|
19 |
+
export key=$(cat /run/secrets/key) && \
|
20 |
+
echo "Key is: $key"
|
21 |
+
|
22 |
+
# Persist the value
|
23 |
+
ENV key=$(cat /run/secrets/key)
|
24 |
|
25 |
|
26 |
# RUN --mount=type=secret,id=key,mode=0444,required=true \
|
27 |
+
# echo "export key=$(cat /run/secrets/key)" >> /etc/environment
|
28 |
+
|
29 |
+
|
30 |
|
31 |
RUN echo "Key is: $key"
|
32 |
|