wrapdocker 723 B

123456789101112131415161718192021222324252627
  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_command="docker -d $DOCKER_DAEMON_ARGS"
  9. >&2 echo "Starting Docker with: $docker_command"
  10. $docker_command &>/var/log/docker.log &
  11. docker_pid=$!
  12. >&2 echo "Waiting for Docker to start..."
  13. while ! docker ps &>/dev/null; do
  14. if ! kill -0 "$docker_pid" &>/dev/null; then
  15. >&2 echo "Docker failed to start"
  16. cat /var/log/docker.log
  17. exit 1
  18. fi
  19. sleep 1
  20. done
  21. >&2 echo ">" "$@"
  22. exec "$@"