Provide also hosts file in /docker directory in the container.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 29 Mar 2016 21:40:01 +0000 (23:40 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 29 Mar 2016 21:40:01 +0000 (23:40 +0200)
docker.sh

index b3196d3..73cc295 100755 (executable)
--- 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`