From 76038332f4ac0756abe26dbf746d59dede44d773 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 19 Oct 2023 13:53:29 +0200 Subject: [PATCH] switch branches --- setup-key.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/setup-key.sh b/setup-key.sh index a5d66cf..1d98955 100755 --- a/setup-key.sh +++ b/setup-key.sh @@ -30,6 +30,8 @@ fi URL="https://git.abstractnonsen.se/${OWNER}/${REPOSITORY}" if curl --output /dev/null --silent --head --fail "${URL}"; then + echo "Checked ${URL}: repository exists and publicly accessible" +else read -p -n 1 -r "Url ${URL} is not (publicly) accessible, are you sure you want to continue? [y/N] " echo if [[ ! $REPLY =~ ^[Yy]$ ]]; then