Closed erikmd closed 4 years ago
just a heads-up PR.
Motivation for this non-backward-compatible change: the input parameters are also passed as environment variables to the outer container:
Excerpt from https://github.com/erikmd/docker-coq-github-action-demo/runs/535378260: Run erikmd/docker-coq-action@alpha $ /usr/bin/docker run --name …_… --label … --workdir /github/workspace --rm -e INPUT_OPAM-FILE -e INPUT_COQ-VERSION -e INPUT_OCAML-VERSION -e INPUT_CUSTOM-SCRIPT -e HOME (…)
Excerpt from https://github.com/erikmd/docker-coq-github-action-demo/runs/535378260:
Run erikmd/docker-coq-action@alpha $ /usr/bin/docker run --name …_… --label … --workdir /github/workspace --rm -e INPUT_OPAM-FILE -e INPUT_COQ-VERSION -e INPUT_OCAML-VERSION -e INPUT_CUSTOM-SCRIPT -e HOME (…)
but dashes in variable names is not supported by POSIX nor by recent versions of bash, see e.g. https://stackoverflow.com/q/36989263
bash
just a heads-up PR.
Motivation for this non-backward-compatible change: the input parameters are also passed as environment variables to the outer container:
but dashes in variable names is not supported by POSIX nor by recent versions of
bash, see e.g. https://stackoverflow.com/q/36989263