X-Git-Url: https://git.grml.org/?a=blobdiff_plain;ds=sidebyside;f=chroot-script;h=3c69f005cdfabdf195b9a465d7997707ecf26ac2;hb=2999d61efa6841d22024fc6c5fde16dc44db8a20;hp=5cff4847a6a6ea6810af3f211d24ee9b3753e343;hpb=b379e2401637be5569cd87f26e39bc54549fa834;p=grml-debootstrap.git diff --git a/chroot-script b/chroot-script index 5cff484..3c69f00 100755 --- a/chroot-script +++ b/chroot-script @@ -11,6 +11,7 @@ # error_handler {{{ if [ "$REPORT_TRAP_ERR" = "yes" ] || [ "$FAIL_TRAP_ERR" = "yes" ]; then + set -e set -E set -o pipefail trap "error_handler" ERR @@ -653,7 +654,7 @@ available_ids() { echo "${ids}" } -# helper function to report corresponding /dev/disk/by-id/… for a given device name, +# helper function to report corresponding /dev/disk/by-id/ for a given device name, # based on GRUB's postinst script device_to_id() { local id