"|| exit 1" no longer required thanks to errexit

This commit is contained in:
Patrick Schleizer 2024-11-25 15:57:30 -05:00
parent f9b5d7d3f4
commit 98d7c245ee
No known key found for this signature in database
GPG Key ID: CB8D50BB77BB3C48

View File

@ -11,7 +11,7 @@ set -o pipefail
write_pid_file() { write_pid_file() {
[[ -z "${TMP:-}" ]] && error "TMP is unset" [[ -z "${TMP:-}" ]] && error "TMP is unset"
safe-rm -rf "$TMP/security-misc-apt-get-update-pid"; safe-rm -rf "$TMP/security-misc-apt-get-update-pid";
install -m644 /dev/null "$TMP/security-misc-apt-get-update-pid" || exit 1 install -m644 /dev/null "$TMP/security-misc-apt-get-update-pid"
echo "$$" | sponge -- "$TMP/security-misc-apt-get-update-pid" echo "$$" | sponge -- "$TMP/security-misc-apt-get-update-pid"
} }