diff options
| author | Robert Helgesson <robert@rycee.net> | 2019-04-10 01:31:22 +0200 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2019-04-10 01:31:22 +0200 |
| commit | 67aee78fdf44c15a41b88270cd52e5a8a7e39e31 (patch) | |
| tree | 0716f393d39a68750ed19be27bd3bb546395b3a6 /home-manager | |
| parent | c48db4fbba204365c2750bef1665e26fae156590 (diff) | |
home-manager: remove unnecessary error message
An error message about the erroneous option is already printed by
`getopts` so there is no need to print it again.
Diffstat (limited to 'home-manager')
| -rw-r--r-- | home-manager/home-manager | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 65c54c63712..0cf65676cfd 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -424,7 +424,6 @@ while getopts 2f:I:A:vnh opt; do exit 0 ;; *) - errorEcho "Unknown option -$OPTARG" doHelp >&2 exit 1 ;; |