diff options
| author | coqbot-app[bot] | 2020-12-28 16:47:16 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-28 16:47:16 +0000 |
| commit | 942fb01934b02181fd3a88d80fc870f8d4900d2c (patch) | |
| tree | 249a05c091ff076492e63739bc05038efe244b9a /dev/ci/docker/bionic_coq | |
| parent | ba0a277568182c205ad411986598632bb341f2d9 (diff) | |
| parent | 6e2b31ab0ec22c04f8987b4eb54d6ba7bbdee4c4 (diff) | |
Merge PR #13665: Set Python's default output encoding to utf-8
Reviewed-by: Zimmi48
Ack-by: palmskog
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 |