52379fa76d
This is especially important for distributions like NixOS where `/bin/bash` doesn't exist, or for MacOS users who've installed a newer version of Bash than the one that comes with their OS. Signed-off-by: Andrew "Tianon" Page <admwiggin@gmail.com>
33 lines
1,014 B
Bash
Executable file
33 lines
1,014 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
# DinD: a wrapper script which allows docker to be run inside a docker container.
|
|
# Original version by Jerome Petazzoni <jerome@docker.com>
|
|
# See the blog post: https://blog.docker.com/2013/09/docker-can-now-run-within-docker/
|
|
#
|
|
# This script should be executed inside a docker container in privileged mode
|
|
# ('docker run --privileged', introduced in docker 0.6).
|
|
|
|
# Usage: dind CMD [ARG...]
|
|
|
|
# apparmor sucks and Docker needs to know that it's in a container (c) @tianon
|
|
export container=docker
|
|
|
|
if [ -d /sys/kernel/security ] && ! mountpoint -q /sys/kernel/security; then
|
|
mount -t securityfs none /sys/kernel/security || {
|
|
echo >&2 'Could not mount /sys/kernel/security.'
|
|
echo >&2 'AppArmor detection and --privileged mode might break.'
|
|
}
|
|
fi
|
|
|
|
# Mount /tmp (conditionally)
|
|
if ! mountpoint -q /tmp; then
|
|
mount -t tmpfs none /tmp
|
|
fi
|
|
|
|
if [ $# -gt 0 ]; then
|
|
exec "$@"
|
|
fi
|
|
|
|
echo >&2 'ERROR: No command specified.'
|
|
echo >&2 'You probably want to run hack/make.sh, or maybe a shell?'
|