X-Git-Url: https://git.grml.org/?a=blobdiff_plain;ds=sidebyside;f=chroot-script;h=28653870282b392a9256ba41baa606cefb1cdfa9;hb=d911a370375ab59d74e9129b21e76549a1bde63b;hp=2f6efbad39deeb8f01eec09f728e81f3aa454e6c;hpb=670035bdde9ac232b3869eea4a66f5412d1d1132;p=grml-debootstrap.git diff --git a/chroot-script b/chroot-script index 2f6efba..2865387 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 @@ -663,7 +664,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