configura.sh e verifica.sh: anche la produzione nuova

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>

configura.sh

@@ -182,7 +182,9 @@ FUORI="$(awk -v i="$INIZIO" -v f="$FINE_BLOCCO" '$0 == i {dentro=1; next} $0 ==
 # /c/Users/..., che l'OpenSSH di Windows (quello di VS Code) non capisce.
 CHIAVE_CONFIG="~${CHIAVE_SSH#"$HOME"}"
 BLOCCO="$INIZIO"
-for VOCE in "$STAGING_NOME $STAGING_HOST" "$PRODUZIONE_NOME $PRODUZIONE_HOST" ; do
+for VOCE in "$STAGING_NOME $STAGING_HOST $STAGING_UTENTE" \
+            "$PRODUZIONE_NOME $PRODUZIONE_HOST $PRODUZIONE_UTENTE" \
+            "$PRODUZIONE_VECCHIA_NOME $PRODUZIONE_VECCHIA_HOST $PRODUZIONE_VECCHIA_UTENTE" ; do
   set -- $VOCE
   if printf '%s\n' "$FUORI" | grep -qE "^Host[[:space:]]+$1([[:space:]]|\$)" ; then
     attento "$1 e' gia' definito in $CONFIG: lo lascio com'e'"
@@ -191,7 +193,7 @@ for VOCE in "$STAGING_NOME $STAGING_HOST" "$PRODUZIONE_NOME $PRODUZIONE_HOST" ;
   BLOCCO="$BLOCCO
 Host $1
   HostName $2
-  User $UTENTE_SERVER
+  User $3
   IdentitiesOnly yes
   IdentityFile $CHIAVE_CONFIG
 "
@@ -200,7 +202,7 @@ BLOCCO="$BLOCCO$FINE_BLOCCO"
 
 { printf '%s\n' "$FUORI" | sed -e :a -e '/^\n*$/{$d;N;ba' -e '}' ; echo ; printf '%s\n' "$BLOCCO" ; } > "$CONFIG.nuovo" \
   && mv "$CONFIG.nuovo" "$CONFIG" && chmod 600 "$CONFIG"
-ok "ssh $STAGING_NOME e ssh $PRODUZIONE_NOME: configurati"
+ok "ssh $STAGING_NOME, ssh $PRODUZIONE_NOME e ssh $PRODUZIONE_VECCHIA_NOME: configurati"
 
 # --------------------------------------------------------------------------
 titolo "Fatto"