Merge pull request #212 from return42/fix-manage

[fix] ./manage script, prompt the unknown command
This commit is contained in:
Markus Heiser 2021-07-17 15:18:47 +00:00 committed by GitHub
commit 197fa188c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
manage
View File

@ -525,7 +525,7 @@ main() {
*) *)
_type="$(type -t "$cmd")" _type="$(type -t "$cmd")"
if [ "$_type" != 'function' ]; then if [ "$_type" != 'function' ]; then
err_msg "unknown command $1 / use --help" err_msg "unknown command: $cmd / use --help"
return 42 return 42
else else
"$cmd" "$@" "$cmd" "$@"