X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=chboot;h=426fd9a2cef87b83d8fbf22fc6fc146cd7223b38;hb=bf19e9969f50a637c8fabf724eb9e292da472e01;hp=40f509367cb64fbc5d9a40b990757cb0601101c5;hpb=11f823d2d74425b6ff3143ec0106e2504346f496;p=automated-distro-installer diff --git a/chboot b/chboot index 40f5093..426fd9a 100755 --- a/chboot +++ b/chboot @@ -1,41 +1,80 @@ -#!/bin/bash -x +#!/bin/bash +# Copyright (C) 2016 Ian Kelling -# Set grub to boot into a different distro, and reboot unless -r -# $0 [DISTRO_NAME] -# with no argument, print available distros +# This program is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License +# as published by the Free Software Foundation; either version 2 +# of the License, or (at your option) any later version. + +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. + +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. -# DISTRO_NAME is based on the partition names in /boot. eg boot_debianjessie set -eE -o pipefail -trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?"' ERR +trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR [[ $EUID == 0 ]] || exec sudo "$BASH_SOURCE" "$@" +usage() { + cat </dev/null; then echo "$0: error: _$distro$ not found in btrfs subvolume list /boot:" btrfs subvolume list /boot exit 1 fi +#### end initial error checking ##### + e() { echo "$@"; "$@"; } boot_dev=$(mount | sed -rn "s#^(\S+) on /boot .*#\1#p") @@ -53,3 +92,8 @@ e grub-bios-setup -d $mount_point/grub/i386-pc -s -m $mount_point/grub/device.ma e umount $mount_point e rmdir $mount_point + +if $reboot; then + touch /tmp/keyscript-off + reboot now +fi