#!/usr/bin/env bash
set -euo pipefail
url=${1:-}
[[ -z "$url" ]] && { echo "Usage: $(basename "$0") <url>" >&2; exit 1; }
curl -skI -m 10 "$url"