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