diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2022-02-14 10:32:00 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2022-02-14 15:33:27 +0100 |
| commit | 98a4f5770687d5c1bd31218c3a088c6db0363238 (patch) | |
| tree | e96f20b04c1344f5121440add6ac3df6dbd5b2f8 | |
| parent | 5bf4022a5b4134b9cf4b5522e0bb72f0a63d4b83 (diff) | |
ansible/docuum: fix delgroup error
Check if a group with the same GID as the docker group on the host
exists, before attempting to remove it.
Related: OS#5099
Change-Id: I24af5c1d2b1c488b37f29f1609ee56692eff569e
| -rw-r--r-- | ansible/roles/docker/files/Dockerfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ansible/roles/docker/files/Dockerfile b/ansible/roles/docker/files/Dockerfile index 85379c3..d0ddf9c 100644 --- a/ansible/roles/docker/files/Dockerfile +++ b/ansible/roles/docker/files/Dockerfile @@ -9,7 +9,9 @@ RUN apk add \ # Create user and docker group with same group-id as on host system, create # /opt/docuum dir owned by user RUN set -x && \ - delgroup $(getent group "${DOCKER_GID}" | cut -d: -f1) && \ + if getent group "${DOCKER_GID}"; then \ + delgroup $(getent group "${DOCKER_GID}" | cut -d: -f1); \ + fi && \ addgroup -g "${DOCKER_GID}" docker && \ adduser -D -u 1000 -G docker user && \ mkdir /opt/docuum && \ |