From 881724203b9642d364a35df764004cd4bc894d7f Mon Sep 17 00:00:00 2001 From: jenstandstad Date: Sat, 11 Apr 2026 13:08:32 +0200 Subject: [PATCH] Adding OS to the nice bootstrap script --- bootstrap.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bootstrap.sh b/bootstrap.sh index d2f99a3..7f85c97 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -13,6 +13,7 @@ set -euo pipefail REPO_DIR="$(cd "$(dirname "$0")" && pwd)" +OS="$(uname -s)" GUTASK_DIR="${HOME}/gutasktool" GITEA_HOST="ramanujan.glitch.university" GITEA_PORT=2222