From b2ea066469115c71ccdcbd471cc896184d1054ba Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Tue, 29 Mar 2016 23:40:01 +0200
Subject: [PATCH] Provide also hosts file in /docker directory in the
 container.

---
 docker.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docker.sh b/docker.sh
index b3196d3..73cc295 100755
--- a/docker.sh
+++ b/docker.sh
@@ -100,6 +100,9 @@ fi
 if [ -f "${config_dir}/../.k5login" ]; then
   cp "${config_dir}/../.k5login" ${config_dir}/root/
 fi
+if [ -f "${config_dir}/../hosts" ]; then
+  cp "${config_dir}/../hosts" ${config_dir}/
+fi
 for m in ${MOUNTS}; do
   loc_dir=`echo ${m} | cut -d: -f1`
   cont_dir=`echo ${m} | cut -d: -f2`
-- 
1.8.2.3