fix: change sources shell permission denied

2020-04-08 09:57:00 +08:00 · 2020-04-08 09:57:00 +08:00 · c4c2f91306
commit c4c2f91306
parent 9e04c460f9
1 changed files with 1 additions and 0 deletions
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@ -50,6 +50,7 @@ ARG UBUNTU_SOURCE
 COPY ./sources.sh /tmp/sources.sh

 RUN if [ ${CHANGE_SOURCE} = true ]; then \
+    chmod +x /tmp/sources.sh && \
    /bin/sh -c /tmp/sources.sh && \
    rm -rf /tmp/sources.sh \
 ;fi