Merge pull request #2550 from leowangxp/master

fix: change sources shell permission denied
2020-04-08 14:32:27 +08:00 · 2020-04-08 14:32:27 +08:00 · 3f71fc2c15
parent 9e04c460f9 c4c2f91306
commit 3f71fc2c15
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