From 41472671c837bcc08074fbf8979bfbcba29a9965 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= Date: Wed, 31 Aug 2016 23:36:36 +0200 Subject: [PATCH] Change the base docker image. --- docker.sh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docker.sh b/docker.sh index 1e7db76..8186112 100755 --- a/docker.sh +++ b/docker.sh @@ -23,15 +23,15 @@ # # 5) proper docker image # -# * name: valtri/docker-server-deb7 -# * build: https://github.com/valtri/docker-server-deb7 +# * name: valtri/docker-server-debian:7 +# * build: https://github.com/valtri/docker-server-debian # #DOCKER_network='ics.muni.cz' DOCKER_network='bridge' #DOCKER_network='none' FETCH_SSH_KEYS=${FETCH_SSH_KEYS:-'1'} -IMAGE='valtri/docker-server-deb7' +IMAGE='valtri/docker-server-debian:7' # get the first free network device devname() { @@ -114,6 +114,8 @@ if [ -n "${FACTER_ip}" ]; then ARGS="${ARGS} --add-host=${FACTER_fqdn}:${FACTER_ip} --add-host=${FACTER_hostname}:${FACTER_ip}" fi +docker pull ${IMAGE} + docker run -itd \ -v ${config_dir}:/docker:ro \ --cap-add=NET_ADMIN --cap-add=NET_RAW \ -- 1.8.2.3