chmod start script from repo2docker-entrypoint

pull/886/head
Dan Lester 2020-04-29 18:48:10 +01:00
rodzic bbc3ee02c0
commit 057c837a75
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -3,6 +3,7 @@
# we use a login shell to get a fully configured shell environment
# (e.g. sourcing /etc/profile.d, ~/.bashrc, and friends)
if [[ ! -z "${R2D_ENTRYPOINT:-}" ]]; then
chmod u+x "$R2D_ENTRYPOINT"
exec "$R2D_ENTRYPOINT" "$@"
else
exec "$@"