diff options
author | François Andriot <albator78@libertysurf.fr> | 2024-10-07 21:17:55 +0200 |
---|---|---|
committer | François Andriot <albator78@libertysurf.fr> | 2024-10-07 21:17:55 +0200 |
commit | 4c78786737534ba658e3b33230b364850e31fbb5 (patch) | |
tree | 80807b0ca0d51fd286ab5939dcdefb65dc558e5a /redhat/docker/pclinuxos.sh | |
parent | e81c987a3b55cab388b89f647b807414648ad6b8 (diff) | |
download | tde-packaging-4c78786737534ba658e3b33230b364850e31fbb5.tar.gz tde-packaging-4c78786737534ba658e3b33230b364850e31fbb5.zip |
RPM: many updates for upcoming R14.1.3
Signed-off-by: François Andriot <albator78@libertysurf.fr>
Diffstat (limited to 'redhat/docker/pclinuxos.sh')
-rwxr-xr-x | redhat/docker/pclinuxos.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/redhat/docker/pclinuxos.sh b/redhat/docker/pclinuxos.sh index 42ab539cc..c4efb8f12 100755 --- a/redhat/docker/pclinuxos.sh +++ b/redhat/docker/pclinuxos.sh @@ -4,6 +4,7 @@ NAME="pclinuxos" VERSION="${1:-2024}" # E.g: '2020' IMAGE="${NAME}:${VERSION}" INSTALLROOT="/dev/shm/${IMAGE}" +[ -x /usr/bin/pigz ] && GZIP=pigz || GZIP=gzip grep -qw "${INSTALLROOT}/dev" /proc/mounts && sudo umount "${INSTALLROOT}/dev" sudo rm -rf "${INSTALLROOT}" @@ -50,4 +51,4 @@ sudo tar -C "${INSTALLROOT}" -c . | docker import - "${IMAGE}" docker run -ti --rm "${IMAGE}" ls -l sudo rm -rf "${INSTALLROOT}" -docker image save "${IMAGE}" | pigz -9 >"${HOME}/tde/docker/${IMAGE}.tar.gz" +docker image save "${IMAGE}" | ${GZIP} -9 >"${HOME}/tde/docker/${IMAGE}.tar.gz" |