1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/bin/bash
if [ -z "${INFRA_LIB:-}" ]; then
. "$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)/lib/common.sh"
fi
oidc_issuer_defaults() {
OIDC_ISSUER_HOSTNAME="${OIDC_ISSUER_HOSTNAME:-mini-cloud-0002.fedfork.com}"
OIDC_ISSUER_PORT="${OIDC_ISSUER_PORT:-9000}"
}
oidc_issuer_status() {
oidc_issuer_defaults
infra_ro_root "if ss -ltnH 'sport = :$OIDC_ISSUER_PORT' | grep -q .; then echo 'listener on :$OIDC_ISSUER_PORT'; else echo 'nothing listens on :$OIDC_ISSUER_PORT'; fi"
infra_report_urls "https://$OIDC_ISSUER_HOSTNAME/.well-known/openid-configuration"
}
oidc_issuer_deploy() {
oidc_issuer_defaults
infra_stub_todo "the caddy site $OIDC_ISSUER_HOSTNAME -> 127.0.0.1:$OIDC_ISSUER_PORT is left from the deno oidc-issuer (deno-macos-runner-desktop, digitalocean-bidder); nothing listens there. Remove the caddy block with a backup, or port the issuer"
}
oidc_issuer_rollback() {
infra_stub_todo "nothing to roll back"
}
if [ "${BASH_SOURCE[0]}" = "$0" ]; then
set -euo pipefail
infra_component_main oidc-issuer root@mini-cloud-0002.chadig.com "$HOME/.ssh/id_ed25519_no_password" "" "" "$@"
fi
