improve licensing
[distro-setup] / iboot
1 #!/bin/bash
2
3 ## in development, meant to be run manually
4 [[ $EUID == 0 ]] || exec sudo -E "${BASH_SOURCE[0]}" "$@"
5
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
8 set -eE -o pipefail
9 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" exit status: $?, PIPESTATUS: ${PIPESTATUS[*]}" >&2' ERR
10
11 set -x
12
13 da=(/dev/mapper/crypt_dev*)
14 d=${da[0]}
15
16 mount -o subvol=root_trisquelnabia $d /mnt
17
18 boot_part=$(awk '$2 == "/" {print $1}' /etc/mtab)
19 mount -o subvol=boot_trisquelnabia $boot_part /mnt/boot
20
21 cd /mnt
22 mount -o bind /dev dev
23 mount -o bind /proc proc
24 mount -o bind /sys sys
25 mkdir -p boot/efi
26 mount "$(awk '$2 == "/boot/efi" {print $1}' /etc/mtab)" boot/efi
27 chroot .
28 # then run zboot-chroot