X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=chboot;h=2a357e6d2f1dba5e01d92bdd8fa597a3958cbfd0;hb=0963c8a7cc43c5380fa8085d41243aa3f2ead5a3;hp=884b2a55f80478fb6f0f0d47c489efc1b8bde5ab;hpb=57f8fa6a5b08bafdb6a422b6837d9b8cb3f7c396;p=automated-distro-installer diff --git a/chboot b/chboot index 884b2a5..2a357e6 100755 --- a/chboot +++ b/chboot @@ -1,24 +1,58 @@ #!/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 $?" >&2' ERR [[ $EUID == 0 ]] || exec sudo "$BASH_SOURCE" "$@" +usage() { + cat <