From 67aee78fdf44c15a41b88270cd52e5a8a7e39e31 Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Wed, 10 Apr 2019 01:31:22 +0200 Subject: [PATCH] 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. --- home-manager/home-manager | 1 - 1 file changed, 1 deletion(-) diff --git a/home-manager/home-manager b/home-manager/home-manager index 65c54c637..0cf65676c 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 ;;