diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2018-01-22 00:46:33 -0500 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2018-01-22 19:18:10 +0100 |
| commit | 21fefbc8f6f1c0c496414df8ad9c4e578ed4d8e4 (patch) | |
| tree | a0c1e359011cc16572e00d389a7c11558bfdc7df /home-manager | |
| parent | 38020d9068695272e2541ff4fd46c9c85f7ea91e (diff) | |
home-manager: check whether a command is passed
"set -u" treats unset variables as an error, and $1 is unbound when no
command is passed.
Diffstat (limited to 'home-manager')
| -rw-r--r-- | home-manager/home-manager | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 9d10e61e10e..460cf8d392d 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -337,6 +337,11 @@ done # Get rid of the options. shift "$((OPTIND-1))" +if [[ $# -eq 0 ]]; then + doHelp >&2 + exit 1 +fi + cmd="$1" shift 1 |