diff options
| author | Jim Fehrle | 2020-12-23 16:38:31 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2020-12-26 15:47:48 -0800 |
| commit | 6e2b31ab0ec22c04f8987b4eb54d6ba7bbdee4c4 (patch) | |
| tree | 74e47a1864c4eab8d6c3d77e52e12975e32fee56 /dev/ci/docker/bionic_coq | |
| parent | 687fff698db75d54ef0a8b156b85a4dc027edc62 (diff) | |
Set the locale in Docker so Python's default output encoding is utf-8
Diffstat (limited to 'dev/ci/docker/bionic_coq')
| -rw-r--r-- | dev/ci/docker/bionic_coq/Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/ci/docker/bionic_coq/Dockerfile b/dev/ci/docker/bionic_coq/Dockerfile index 1aefebb007..b4b6411d28 100644 --- a/dev/ci/docker/bionic_coq/Dockerfile +++ b/dev/ci/docker/bionic_coq/Dockerfile @@ -71,3 +71,6 @@ RUN opam switch create "${COMPILER_EDGE}+flambda" && eval $(opam env) && \ opam install $BASE_OPAM $BASE_OPAM_EDGE $COQIDE_OPAM $CI_OPAM RUN opam clean -a -c + +# set the locale for the benefit of Python +ENV LANG C.UTF-8 |