FabioandClaude Opus 5.5
608438323f
In ~/.ssh/config c'era solo oto-production-old. Adesso c'e' anche oto-production (10.110.137.20, dietro VPN), con il suo utente admin.produzione: l'utente non e' piu' uno solo per tutti i server. verifica.sh controlla tutte e due le produzioni, un tentativo per macchina. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
61 lines
2.2 KiB
Bash
Executable File
61 lines
2.2 KiB
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Valori e funzioni condivisi dagli script di questo repository.
|
|
# Qui non ci sono segreti: solo nomi di server e percorsi.
|
|
|
|
GITEA_URL="https://git.oto-farm.com"
|
|
GITEA_HOST="git.oto-farm.com"
|
|
AWS_REGIONE="eu-central-1"
|
|
AWS_CONSOLE="https://170187898933.signin.aws.amazon.com/console"
|
|
|
|
# Dove stanno le cose della persona, sul suo PC. Gli script dei progetti
|
|
# leggono da qui: non cambiarli senza cambiare anche loro.
|
|
TOKEN_GITEA_FILE="$HOME/.config/oto/gitea.token"
|
|
CHIAVE_SSH="$HOME/.ssh/oto_ed25519"
|
|
CARTELLA_PROGETTI="${CARTELLA_PROGETTI:-$HOME/Work/workspace/oto}"
|
|
|
|
# I server, con i nomi che usano gli script dei progetti. Staging e la
|
|
# produzione nuova stanno su rete privata: senza VPN non rispondono. Le
|
|
# produzioni sono due finche' i siti non sono migrati tutti: oto-production
|
|
# e' la macchina nuova (dal 05/10/2026), oto-production-old quella dove
|
|
# girano ancora i siti. Sulla nuova l'utente non e' admin.
|
|
STAGING_NOME="oto-staging"
|
|
STAGING_HOST="10.110.185.10"
|
|
STAGING_UTENTE="admin"
|
|
PRODUZIONE_NOME="oto-production"
|
|
PRODUZIONE_HOST="10.110.137.20"
|
|
PRODUZIONE_UTENTE="admin.produzione"
|
|
PRODUZIONE_VECCHIA_NOME="oto-production-old"
|
|
PRODUZIONE_VECCHIA_HOST="vps-production.oto-farm.com"
|
|
PRODUZIONE_VECCHIA_UTENTE="admin"
|
|
|
|
# Un parametro che ogni ruolo di sviluppo puo' leggere: serve a verifica.sh
|
|
# per sapere se l'accesso AWS arriva davvero alla cassaforte.
|
|
SSM_PROVA="/oto/_comune/MAILTRAP_SMTP_USER"
|
|
|
|
if [ -t 1 ] ; then
|
|
VERDE=$'\e[32m' ; ROSSO=$'\e[31m' ; GIALLO=$'\e[33m' ; GRASSETTO=$'\e[1m' ; FINE=$'\e[0m'
|
|
else
|
|
VERDE="" ; ROSSO="" ; GIALLO="" ; GRASSETTO="" ; FINE=""
|
|
fi
|
|
|
|
ok () { echo " ${VERDE}✔${FINE} $*" ; }
|
|
male () { echo " ${ROSSO}✘${FINE} $*" ; }
|
|
attento () { echo " ${GIALLO}!${FINE} $*" ; }
|
|
titolo () { echo ; echo "${GRASSETTO}$*${FINE}" ; }
|
|
|
|
c_e () { command -v "$1" > /dev/null 2>&1 ; }
|
|
|
|
token_gitea () {
|
|
[ -s "$TOKEN_GITEA_FILE" ] && tr -d '[:space:]' < "$TOKEN_GITEA_FILE"
|
|
}
|
|
|
|
# Stampa il nome utente Gitea del token, o niente se il token non vale.
|
|
utente_gitea () {
|
|
local token
|
|
token="$(token_gitea)" || return 1
|
|
[ -n "$token" ] || return 1
|
|
curl -s --max-time 10 -H "Authorization: token $token" "$GITEA_URL/api/v1/user" \
|
|
| sed -n 's/.*"login":"\([^"]*\)".*/\1/p'
|
|
}
|