From e179dba7e45a3bece3cdddcd124721c04768c14a Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Sat, 17 Jul 2021 17:15:28 +0200 Subject: [PATCH] [fix] ./manage script, prompt the unknown command Signed-off-by: Markus Heiser --- manage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manage b/manage index 7ddf3b7c..6cf562b2 100755 --- a/manage +++ b/manage @@ -525,7 +525,7 @@ main() { *) _type="$(type -t "$cmd")" if [ "$_type" != 'function' ]; then - err_msg "unknown command $1 / use --help" + err_msg "unknown command: $cmd / use --help" return 42 else "$cmd" "$@"