# HG changeset patch # User Franz Glasner # Date 1567800751 -7200 # Node ID a8e76893140f1e0a2441b2003b32d9a21fae60e6 # Parent fffee187f1f7a92e70c223f3eaefa02570e415ec Extra error message if no command is given diff -r fffee187f1f7 -r a8e76893140f bin/fjail --- a/bin/fjail Fri Sep 06 22:08:19 2019 +0200 +++ b/bin/fjail Fri Sep 06 22:12:31 2019 +0200 @@ -270,6 +270,8 @@ shift $((OPTIND-1)) OPTIND=1 +test $# -gt 0 || { echo "ERROR: no command given" >&2; exit 2; } + command="$1" shift