cdbfdd8da8
ENTRYPOINT is used even when other commands are specified on the "docker run" command line. This allows running one-off commands in the docker image (especially combined with volume binding with the host) with the correct environment variables.
14 lines
213 B
Bash
Executable File
14 lines
213 B
Bash
Executable File
#!/bin/bash
|
|
set -eu -o pipefail
|
|
|
|
quote() {
|
|
local arg
|
|
for arg in "$@"; do
|
|
printf "'"
|
|
printf "%s" "$arg" | sed -e "s/'/'\\\\''/g"
|
|
printf "' "
|
|
done
|
|
}
|
|
|
|
exec scl enable devtoolset-1.1 "$(quote "$@")"
|