File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -29,6 +29,14 @@ cp -R /root/.oh-my-zsh $USER_HOME
2929chown -R $HOST_UID :$HOST_GID $USER_HOME
3030ln -s /home/user /home/$HOST_USERNAME
3131
32+ # Check for Docker-in-Docker and set user permissions
33+ ds=" /var/run/docker.sock"
34+ if [ -S $ds ]; then
35+ dgid=$( stat -c ' %g' $ds )
36+ grep -q " $dgid " /etc/group || groupadd -g " $dgid " dddocker
37+ usermod -aG " $dgid " " $HOST_USERNAME "
38+ fi
39+
3240# su user -c /bin/bash
3341# su -l -c /bin/bash user
3442su - " $HOST_USERNAME "
Original file line number Diff line number Diff line change 1+ apt-get install -y docker.io || die " error install docker"
Original file line number Diff line number Diff line change 9898 DOCKER_OPTS=" $DOCKER_OPTS -e AWS_PROFILE=$SITE_NAME "
9999fi
100100
101+ if echo " $DOCKERDEV_FEATURES " | grep -q docker; then
102+ echo " Docker-in-Docker feature enabled"
103+ ds=/var/run/docker.sock
104+ if [ -S " $ds " ]; then
105+ echo " Mounting Docker socket within container."
106+ DOCKER_OPTS=" $DOCKER_OPTS -v $ds :$ds "
107+ else
108+ echo " Docker socket not found. Docker will not be available within the container."
109+ fi
110+ fi
111+
101112# DOCKER_OPTS="$DOCKER_OPTS -u 0:1000"
102113
103114#
You can’t perform that action at this time.
0 commit comments