64e499ff484176dfbeaf98479bf5d3d9ddbf4dee
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 $?" >&2' ERR
12 [[ $EUID == 0 ]] ||
exec sudo
"$BASH_SOURCE" "$@"
15 while [[ $1 == -* ]]; do
18 -r) reboot
=false
; shift ;;
26 ###### end command line parsing #####
28 if [[ ! $distro ]]; then
29 echo "available distros:"
30 btrfs subvolume list
/boot |
sed -rn 's/^.*boot_(.*)/\1/p'
34 if ! btrfs subvolume list
/boot |
grep "_$distro$" &>/dev
/null
; then
35 echo "$0: error: _$distro$ not found in btrfs subvolume list /boot:"
36 btrfs subvolume list
/boot
40 e
() { echo "$@"; "$@"; }
42 boot_dev
=$
(mount |
sed -rn "s#^(\S+) on /boot .*#\1#p")
44 mount_point
=$
(mktemp
-d)
46 e mount
-o subvol
=boot_
$distro $boot_dev $mount_point
48 boot_disk
=${boot_dev%%[0-9]*}
50 # arch doesn't have $mount_point/grub/device.map, accoring to the grub manual,
51 # it just generates one if the file doesn't exist.
52 # https://www.gnu.org/software/grub/manual/html_node/Device-map.html
53 e grub-bios-setup
-d $mount_point/grub
/i386-pc
-s -m $mount_point/grub
/device.map
$boot_disk