1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-27 20:29:47 +01:00

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.
This commit is contained in:
Robert Helgesson 2019-04-10 01:31:22 +02:00
parent c48db4fbba
commit 67aee78fdf
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -424,7 +424,6 @@ while getopts 2f:I:A:vnh opt; do
exit 0
;;
*)
errorEcho "Unknown option -$OPTARG"
doHelp >&2
exit 1
;;