From 19426a4c787162c9b05e08a8727927884725d267 Mon Sep 17 00:00:00 2001
From: Patrick Jentsch
Date: Thu, 12 Sep 2019 11:42:42 +0200
Subject: [PATCH] Set charset again!
---
Dockerfile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Dockerfile b/Dockerfile
index f36ec49..7917a92 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -5,6 +5,9 @@ FROM debian:9-slim
LABEL maintainer="inf_sfb1288@lists.uni-bielefeld.de"
+ENV LANG=C.UTF-8
+
+
# Install prerequisites
RUN apt-get update \
&& apt-get install -y --no-install-recommends \