wrapdocker 481 B

123456789101112131415161718
  1. #!/bin/bash
  2. if [ "$DOCKER_VERSION" != "" ] && [ "$DOCKER_VERSION" != "default" ]; then
  3. ln -fs "/usr/local/bin/docker-$DOCKER_VERSION" "/usr/local/bin/docker"
  4. fi
  5. # If a pidfile is still around (for example after a container restart),
  6. # delete it so that docker can start.
  7. rm -rf /var/run/docker.pid
  8. docker -d $DOCKER_DAEMON_ARGS &>/var/log/docker.log &
  9. >&2 echo "Waiting for Docker to start..."
  10. while ! docker ps &>/dev/null; do
  11. sleep 1
  12. done
  13. >&2 echo ">" "$@"
  14. exec "$@"