Check that docker isn't podman
This commit is contained in:
parent
1e4ba135c8
commit
7bb0e20e24
1 changed files with 2 additions and 1 deletions
3
Makefile
3
Makefile
|
@ -101,7 +101,8 @@ docker-%: PWD := $(shell pwd)
|
|||
docker-%: DOCKER_CMD:= $(shell if which docker 2>/dev/null 1>/dev/null; then echo "docker"; elif which podman 2>/dev/null 1>/dev/null; then echo "podman"; fi)
|
||||
|
||||
# Podman requires some extra args (`--userns=keep-id` and `--security-opt=label=disable`). Set those args if using podman
|
||||
docker-%: PODMAN_ARGS:= $(shell if ! which docker 2>/dev/null 1>/dev/null && which podman 2> /dev/null 1> /dev/null; then echo "--userns=keep-id --security-opt=label=disable -v /proc/mounts:/etc/mtab"; fi)
|
||||
# Make sure that docker isn't just an alias for podman
|
||||
docker-%: PODMAN_ARGS:= $(shell if echo "$$(docker --version 2>/dev/null || podman --version 2>/dev/null )" | grep podman 1>/dev/null ; then echo "--userns=keep-id --security-opt=label=disable -v /proc/mounts:/etc/mtab"; fi)
|
||||
|
||||
# Launch docker as interactive if this is an interactive shell (allows ctrl-c for manual and running non-interactive - aka: build server)
|
||||
docker-%: INTERACTIVE=$(shell [ -t 0 ] && echo "-it")
|
||||
|
|
Loading…
Reference in a new issue