diff --git a/grub_config.sh b/grub_config.sh index e7703a7..5b84f75 100755 --- a/grub_config.sh +++ b/grub_config.sh @@ -1,6 +1,6 @@ #!/bin/bash -# to be run adter run_at_boot_config.sh +# to be run after run_at_boot_config.sh trap 'err=$?; echo >&2 " ERROR: Exiting $0 on error $err"; exit $err' ERR