From 5245f85581f06f70f17ec0b264ec64e993b059cf Mon Sep 17 00:00:00 2001 From: samuel Date: Wed, 3 May 2023 11:52:58 +0200 Subject: [PATCH] [Dev] Remove useless output line --- src/pipeline.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pipeline.sh b/src/pipeline.sh index 0bb822b..651530b 100755 --- a/src/pipeline.sh +++ b/src/pipeline.sh @@ -198,7 +198,7 @@ main() ( if [ -z "${git_runner_groupname}" ]; then fail "Variable git_runner_groupname is empty." "${err_git_runner_groupname_empty}" fi - if ! getent group "${git_runner_groupname}"; then + if ! getent group "${git_runner_groupname}" >/dev/null; then fail "Git-runner group '${git_runner_groupname}' does not exist." \ "${err_git_runner_group_not_exist}" fi