#!/bin/sh # Configure cast01 as MariaDB GTID primary. Idempotent-ish. set -eu SHARED=/shared/cluster CREDS="$SHARED/credentials.txt" REPL_USER="$(awk '/^\[mariadb_replication\]/{f=1;next} /^\[/{f=0} f&&/^user=/{print substr($0,6); exit}' "$CREDS")" REPL_PASS="$(awk '/^\[mariadb_replication\]/{f=1;next} /^\[/{f=0} f&&/^password=/{print substr($0,10); exit}' "$CREDS")" APP_USER="$(awk '/^\[mariadb_app\]/{f=1;next} /^\[/{f=0} f&&/^user=/{print substr($0,6); exit}' "$CREDS")" APP_PASS="$(awk '/^\[mariadb_app\]/{f=1;next} /^\[/{f=0} f&&/^password=/{print substr($0,10); exit}' "$CREDS")" [ "$(hostname -s)" = cast01 ] || { echo "run on cast01 only"; exit 1; } grep -q '^skip-networking' /etc/my.cnf.d/mariadb-server.cnf && \ sed -i 's/^skip-networking/#skip-networking/' /etc/my.cnf.d/mariadb-server.cnf install -D -m 644 "$SHARED/mariadb/primary.cnf" /etc/my.cnf.d/lab-cluster-primary.cnf rc-update add mariadb default 2>/dev/null || true rc-service mariadb restart mariadb -u root <