view utils/docker-entrypoint.sh @ 42:2e2b47145349

add script to convert host pid into container name
author Dave smith <smith@nwoca.org>
date Sun, 24 Jan 2016 10:04:59 -0500
parents 5643072a1af9
children 334d65dac778
line wrap: on
line source
#!/bin/bash
set -e

if [ "$1" = 'update' ]; then
  cd $SSDT_HOME
  if [ ! -d ".hg" ]; then
	  echo "cloning repository $SSDT_DOCKER  to $SSDT_HOME"
	  mkdir -p $SSDT_HOME
      hg init
  fi
  echo "pulling updates"
  hg pull -y $SSDT_DOCKER
  hg update default

else

  exec "$@"

fi