#!/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' }