From a41b8c12f6401208cdd61bec7dc0a9f51acdf5da Mon Sep 17 00:00:00 2001 From: James Tomasino Date: Sun, 21 Jan 2018 09:50:59 -0500 Subject: [PATCH] error message, but no break, on unknown command --- burrow | 1 + 1 file changed, 1 insertion(+) diff --git a/burrow b/burrow index 15c11bb..d994d19 100755 --- a/burrow +++ b/burrow @@ -112,6 +112,7 @@ function parse_input() { "recipe") arg_recipe=1 ;; "create-config") arg_create_config=1 ;; "update-git") arg_update_git=1 ;; + *) echo "Unknown command: $arg";; esac done }