From c4c2f9130624bcdae03862e07f7bc8a44a35bed8 Mon Sep 17 00:00:00 2001
From: "DESK0253\\Leo" <leowangxp@qq.com>
Date: Wed, 8 Apr 2020 09:57:00 +0800
Subject: [PATCH] fix: change sources shell permission denied

---
 workspace/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 8d00c478..f90679b8 100644
--- 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