2 # Copyright (C) 2016 Ian Kelling
4 # This program is free software; you can redistribute it and/or
5 # modify it under the terms of the GNU General Public License
6 # as published by the Free Software Foundation; either version 2
7 # of the License, or (at your option) any later version.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18 # Set grub to boot into a different distro, and reboot unless -r
20 # with no argument, print available distros
22 # DISTRO_NAME is based on the partition names in /boot. eg boot_debianjessie
25 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
27 [[ $EUID == 0 ]] ||
exec sudo
"$BASH_SOURCE" "$@"
30 ###### begin command line parsing #####
32 while [[ $1 == -* ]]; do
35 -r) reboot
=false
; shift ;;
43 if [[ ! $distro ]]; then
44 echo "available distros:"
45 btrfs subvolume list
/boot |
sed -rn 's/^.*boot_(.*)/\1/p'
49 ###### end command line parsing #####
52 #### begin initial error checking #####
54 if ! btrfs subvolume list
/boot |
grep "_$distro$" &>/dev
/null
; then
55 echo "$0: error: _$distro$ not found in btrfs subvolume list /boot:"
56 btrfs subvolume list
/boot
60 #### end initial error checking #####
62 e
() { echo "$@"; "$@"; }
64 boot_dev
=$
(mount |
sed -rn "s#^(\S+) on /boot .*#\1#p")
66 mount_point
=$
(mktemp
-d)
68 e mount
-o subvol
=boot_
$distro $boot_dev $mount_point
70 boot_disk
=${boot_dev%%[0-9]*}
72 # arch doesn't have $mount_point/grub/device.map, accoring to the grub manual,
73 # it just generates one if the file doesn't exist.
74 # https://www.gnu.org/software/grub/manual/html_node/Device-map.html
75 e grub-bios-setup
-d $mount_point/grub
/i386-pc
-s -m $mount_point/grub
/device.map
$boot_disk
81 touch /tmp
/keyscript-off