summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2021-07-17 15:18:47 +0000
committerGitHub <noreply@github.com>2021-07-17 15:18:47 +0000
commit197fa188c01afaa52afbc52d8f42e36603b2c2c2 (patch)
tree5d1582fde90e6ca1d3611e936b2e58c17805b1b9
parent555bea6f246563d25d3202a584c51d39f47d8006 (diff)
parente179dba7e45a3bece3cdddcd124721c04768c14a (diff)
downloadsearxng-197fa188c01afaa52afbc52d8f42e36603b2c2c2.tar.gz
searxng-197fa188c01afaa52afbc52d8f42e36603b2c2c2.zip
Merge pull request #212 from return42/fix-manage
[fix] ./manage script, prompt the unknown command
-rwxr-xr-xmanage2
1 files changed, 1 insertions, 1 deletions
diff --git a/manage b/manage
index 7ddf3b7c2..6cf562b22 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" "$@"