From 6e2b31ab0ec22c04f8987b4eb54d6ba7bbdee4c4 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 23 Dec 2020 16:38:31 -0800
Subject: Set the locale in Docker so Python's default output encoding is utf-8

---
 dev/ci/docker/bionic_coq/Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev/ci/docker/bionic_coq')

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
-- 
cgit v1.2.3