# error_handler {{{
if [ "$REPORT_TRAP_ERR" = "yes" ] || [ "$FAIL_TRAP_ERR" = "yes" ]; then
+ set -e
set -E
set -o pipefail
trap "error_handler" ERR
# shellcheck disable=SC2153
case "$ARCH" in
i386)
- case "$RELEASE" in
- lenny|squeeze|wheezy) KARCH='686' ;;
- # since jessie the linux-image-686 image doesn't exist any longer
- *) KARCH='686-pae' ;;
- esac
+ KARCH='686-pae'
;;
amd64)
KARCH='amd64'
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