X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=chboot;h=64e499ff484176dfbeaf98479bf5d3d9ddbf4dee;hb=a8ec695d6a39792133a21e9eca70e69f9fab107b;hp=9cb23d5574fd92dabbe980320df2dc549085eacd;hpb=4261ad7e021ec77e7198cf42c3576dad07f12a64;p=automated-distro-installer

diff --git a/chboot b/chboot
index 9cb23d5..64e499f 100755
--- a/chboot
+++ b/chboot
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
 
 # Set grub to boot into a different distro, and reboot unless -r
 # $0 [DISTRO_NAME]
@@ -7,13 +7,14 @@
 # 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" "$@"
 
 reboot=true
 while [[ $1 == -* ]]; do
     case $1 in
+        -d) set -x; shift ;;
         -r) reboot=false; shift ;;
         --) break ;;
     esac