2019-03-06 02:47:54 +01:00
|
|
|
#!/bin/sh
|
|
|
|
#
|
|
|
|
# docker.sh
|
|
|
|
|
|
|
|
[ "$XLINT" ] && exit 0
|
|
|
|
|
2019-09-26 18:19:54 +02:00
|
|
|
DOCKER_NAME=${DOCKER_NAME:-void}
|
|
|
|
|
|
|
|
/bin/echo -e "\x1b[32mPulling docker image $DOCKER_BASE-$BOOTSTRAP:$TAG...\x1b[0m"
|
|
|
|
docker pull $DOCKER_BASE-$BOOTSTRAP:$TAG
|
2019-03-06 02:47:54 +01:00
|
|
|
docker run -d \
|
2019-09-26 18:19:54 +02:00
|
|
|
--name $DOCKER_NAME \
|
2019-03-06 02:47:54 +01:00
|
|
|
-v "$(pwd)":/hostrepo \
|
|
|
|
-v /tmp:/tmp \
|
|
|
|
-e XLINT="$XLINT" \
|
|
|
|
-e PATH="$PATH" \
|
2019-09-26 18:19:54 +02:00
|
|
|
$DOCKER_BASE-$BOOTSTRAP:$TAG \
|
2019-03-06 02:47:54 +01:00
|
|
|
/bin/sh -c 'sleep inf'
|