mirror of
https://github.com/genuinetools/reg.git
synced 2024-08-21 06:10:23 -04:00
34 lines
1,014 B
Text
34 lines
1,014 B
Text
![]() |
#!/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?'
|