3 # Set grub to boot into a different distro, and reboot unless -r
5 # with no argument, print available distros
7 # DISTRO_NAME is based on the partition names in /boot. eg boot_debianjessie
10 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?"' ERR
12 [[ $EUID == 0 ]] ||
exec sudo
"$BASH_SOURCE" "$@"
15 while [[ $1 == -* ]]; do
17 -r) reboot
=false
; shift ;;
25 ###### end command line parsing #####
27 if [[ ! $distro ]]; then
28 echo "available distros:"
29 btrfs subvolume list
/boot |
sed -rn 's/^.*boot_(.*)/\1/p'
33 if ! btrfs subvolume list
/boot |
grep "_$distro$" &>/dev
/null
; then
34 echo "$0: error: _$distro$ not found in btrfs subvolume list /boot:"
35 btrfs subvolume list
/boot
39 e
() { echo "$@"; "$@"; }
41 boot_dev
=$
(mount |
sed -rn "s#^(\S+) on /boot .*#\1#p")
43 mount_point
=$
(mktemp
-d)
45 e mount
-o subvol
=boot_
$distro $boot_dev $mount_point
47 boot_disk
=${boot_dev%%[0-9]*}
49 # arch doesn't have $mount_point/grub/device.map, accoring to the grub manual,
50 # it just generates one if the file doesn't exist.
51 # https://www.gnu.org/software/grub/manual/html_node/Device-map.html
52 e grub-bios-setup
-d $mount_point/grub
/i386-pc
-s -m $mount_point/grub
/device.map
$boot_disk