From 088cf49b893072146a712abb09fe6730247cbd26 Mon Sep 17 00:00:00 2001
From: Patrick Jentsch
Date: Thu, 12 Sep 2019 11:30:52 +0200
Subject: [PATCH] set charset again!
---
Dockerfile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Dockerfile b/Dockerfile
index e48b895..b715aec 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 \