From 95f4cfa7eca4358008f1bf644c5b14cfbf14e6f4 Mon Sep 17 00:00:00 2001 From: Marcus Date: Tue, 13 Jun 2023 02:08:02 +0200 Subject: [PATCH] changes --- setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.sh b/setup.sh index 4603e87..41e80c0 100644 --- a/setup.sh +++ b/setup.sh @@ -71,7 +71,7 @@ confirm_continue message "Continue with installation..." -if ! groups | grep sudo +if ! groups | grep sudo > /dev/null then message error "Your user $USER is not in group 'sudo'." message error "Add your user to the group with: ${YELLOW}su -c \"usermod -aG sudo ${USER}\"${ENDCOLOR}" @@ -79,7 +79,7 @@ then error fi message "check sources.list" -if ! grep "contrib" /etc/apt/sources.list > /dev/null && grep "non-free" /etc/apt/sources.list > /dev/null +if ( ! grep "contrib" /etc/apt/sources.list > /dev/null ) && ( ! grep "non-free" /etc/apt/sources.list > /dev/null ) then message warn "'contrib' and 'non-free' not in your sources.ist, i will deploy my own" confirm_continue