#!/bin/sh set -e if [ "$(realpath /bin/gzip)" = /usr/bin/pigz ] ; then echo "ERROR: /bin/gzip executable becomes unusable after removal of pigz!" echo "See /usr/share/doc/pigz/README.Debian for details." exit 1 fi