3 ## in development, meant to be run manually
5 [[ $EUID == 0 ]] ||
exec sudo
-E "$script" "$@"
7 if ! test "$BASH_VERSION"; then echo "error: shell is not bash" >&2; exit 1; fi
8 shopt -s inherit_errexit
2>/dev
/null ||
: # ignore fail in bash < 4.4
10 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" exit status: $?, PIPESTATUS: ${PIPESTATUS[*]}" >&2' ERR
14 d
=(/dev
/mapper
/crypt_dev
*)
17 mount
-o subvol
=root_trisquelnabia
$d /mnt
19 boot_part
=$
(awk '$2 == "/" {print $1}' /etc
/mtab
)
20 mount
-o subvol
=boot_trisquelnabia
$boot_part /mnt
/boot
23 mount
-o bind /dev dev
24 mount
-o bind /proc proc
25 mount
-o bind /sys sys
27 mount $
(awk '$2 == "/boot/efi" {print $1}' /etc
/mtab
) boot
/efi
29 # then run zboot-chroot