소스 검색

Fix a Docker issue (#8275)

Anton Kirilov 2 년 전
부모
커밋
ec889fd9b6
1개의 변경된 파일2개의 추가작업 그리고 2개의 파일을 삭제
  1. 2 2
      entrypoint.sh

+ 2 - 2
entrypoint.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
-set -eoux pipefail
+set -eo pipefail -u
 
-chown -R "$USER_ID" /var/run
+chown -LR "$USER_ID" /var/run
 # Drop permissions of user to match those of the host system
 gosu "$USER_ID" python3 /FrameworkBenchmarks/toolset/run-tests.py "$@"