chore: post-commit formatting churn

This commit is contained in:
Raphael Westphal
2026-08-18 13:10:15 +02:00
parent 05ad577eea
commit 345025b070
4 changed files with 30 additions and 28 deletions
+4 -2
View File
@@ -9,10 +9,12 @@ BASE="http://$HOST:8686"
auth=(-H "Authorization: Bearer $TOKEN") auth=(-H "Authorization: Bearer $TOKEN")
echo "== sessions ==" echo "== sessions =="
curl -fsS "${auth[@]}" "$BASE/api/sessions" | head -c 400; echo curl -fsS "${auth[@]}" "$BASE/api/sessions" | head -c 400
echo
echo "== gitlab status ==" echo "== gitlab status =="
curl -fsS "${auth[@]}" "$BASE/api/gitlab/status"; echo curl -fsS "${auth[@]}" "$BASE/api/gitlab/status"
echo
echo "== web dist ==" echo "== web dist =="
curl -fsS "$BASE/" | grep -o '<title>[^<]*</title>' || echo "no title tag" curl -fsS "$BASE/" | grep -o '<title>[^<]*</title>' || echo "no title tag"