diff options
author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-07-17 15:18:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-17 15:18:47 +0000 |
commit | 197fa188c01afaa52afbc52d8f42e36603b2c2c2 (patch) | |
tree | 5d1582fde90e6ca1d3611e936b2e58c17805b1b9 | |
parent | 555bea6f246563d25d3202a584c51d39f47d8006 (diff) | |
parent | e179dba7e45a3bece3cdddcd124721c04768c14a (diff) | |
download | searxng-197fa188c01afaa52afbc52d8f42e36603b2c2c2.tar.gz searxng-197fa188c01afaa52afbc52d8f42e36603b2c2c2.zip |
Merge pull request #212 from return42/fix-manage
[fix] ./manage script, prompt the unknown command
-rwxr-xr-x | manage | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" "$@" |