A new Hetzner account is capped at 10 primary IPs (IPv4 and IPv6 both count), 20 shared vCPUs, 8 dedicated vCPUs and no Arm, and a network cannot span zones. So: one private network per zone (10.20.<zone>.0/24), the lowest-index node of each zone keeps a public IPv4 and is its gateway (NAT, MSS clamp, one DNAT port 27000+index per private node, persisted as igneum-nat.service), every other node has no public address. nodes.tsv gains access, pub and port columns; lib resolves same-zone vs cross-zone dial addresses and jumps ssh through the gateway for private nodes. All nodes.tsv loops read on fd 3 (a backgrounded ssh drained the file). TYPE_BY_INDEX puts nodes 8 to 11 on ccx13; node 12 is the last shared one the account allows. create.sh prints the plan's cost from the live API. provision.sh install takes node names and skips binaries whose sha256 matches. Binaries copied from the seed's staged v4 build (same sources), no vCPU for a builder. Results 2026-10-04: RTT matrix (hel1-fsn1 35 ms, ash-sin 289 ms) and a 10-minute propagation window of 644 blocks: p50 343 ms, p90 497 ms, p99 666 ms across 12 nodes in 5 locations. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
29 lines
1.8 KiB
Bash
Executable file
29 lines
1.8 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
# Delete every VM of the devnet (nodes and builder), the firewall and the zone networks. The SSH key stays on the provider (free).
|
|
# Run experiments/collect.sh first: the logs on the VMs go with them.
|
|
. "$(dirname "$0")/lib/common.sh"
|
|
|
|
if [ "$PROVIDER" = digitalocean ]; then
|
|
need doctl "brew install doctl"
|
|
ids=$(doctl compute droplet list --tag-name "$PREFIX-devnet" --format ID,Name --no-header)
|
|
[ -n "$ids" ] || log "no droplets tagged $PREFIX-devnet"
|
|
printf '%s\n' "$ids"
|
|
confirm "delete these droplets and the firewall $PREFIX-devnet?"
|
|
[ -n "$ids" ] && doctl compute droplet delete -f --tag-name "$PREFIX-devnet"
|
|
doctl compute droplet delete -f "$PREFIX-builder" 2>/dev/null || true
|
|
fw=$(doctl compute firewall list --format ID,Name --no-header | awk -v n="$PREFIX-devnet" '$2 == n { print $1 }')
|
|
[ -n "$fw" ] && doctl compute firewall delete -f "$fw"
|
|
else
|
|
need hcloud "brew install hcloud"
|
|
hcloud server list -l igneum=devnet
|
|
confirm "delete every server labelled igneum=devnet and the firewall $PREFIX-devnet?"
|
|
names=$(hcloud server list -l igneum=devnet -o columns=name -o noheader)
|
|
for s in $names; do hcloud server delete "$s" >/dev/null && log "deleted $s"; done
|
|
hcloud firewall delete "$PREFIX-devnet" >/dev/null 2>&1 && log "deleted firewall $PREFIX-devnet" || true
|
|
for net in $(hcloud network list -l igneum=devnet -o columns=name -o noheader); do hcloud network delete "$net" >/dev/null && log "deleted network $net"; done
|
|
fi
|
|
if [ -f "$NODES_FILE" ]; then
|
|
d=$(results_dir_for); cp "$NODES_FILE" "$d/nodes-destroyed-$(date -u +%H%M%S).tsv"; rm -f "$NODES_FILE" "$BUILD_DIR/builder.ip"
|
|
fi
|
|
printf '%s\tdestroy\n' "$(date -u +%Y-%m-%dT%H:%M:%SZ)" >> "$(results_dir_for)/events.log"
|
|
log "done. Check the provider console once: nothing labelled igneum should remain."
|