projects
/
grml-debootstrap.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge remote-tracking branch 'origin/pr/226'
[grml-debootstrap.git]
/
chroot-script
diff --git
a/chroot-script
b/chroot-script
index
5cff484
..
3c69f00
100755
(executable)
--- a/
chroot-script
+++ b/
chroot-script
@@
-11,6
+11,7
@@
# error_handler {{{
if [ "$REPORT_TRAP_ERR" = "yes" ] || [ "$FAIL_TRAP_ERR" = "yes" ]; then
# error_handler {{{
if [ "$REPORT_TRAP_ERR" = "yes" ] || [ "$FAIL_TRAP_ERR" = "yes" ]; then
+ set -e
set -E
set -o pipefail
trap "error_handler" ERR
set -E
set -o pipefail
trap "error_handler" ERR
@@
-653,7
+654,7
@@
available_ids() {
echo "${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
# based on GRUB's postinst script
device_to_id() {
local id