configura.sh: una chiave AWS di un altro sul PC non passa piu'

Sul PC di marco.laterza c'era la chiave AWS di fabio.riva: configura.sh la
trovava valida, scriveva "accesso AWS: fabio.riva" e non chiedeva la sua.
Tutto quello che la persona faceva su AWS sarebbe risultato fatto da un
altro.

Adesso Gitea viene prima di AWS, perche' e' lui (con la password) a dire
chi e' la persona. Se la chiave trovata e' di un altro, lo script lo dice,
chiede quella giusta e controlla che lo sia; verifica.sh segna rosso.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

verifica.sh

@@ -25,8 +25,15 @@ fi
 if c_e claude ; then ok "Claude Code" ; else attento "Claude Code non installato (non obbligatorio, ma ti guida)" ; fi
 
 titolo "AWS"
+# Chi e' la persona lo dice Gitea: una chiave AWS di un altro sul PC vuol dire
+# che tutto quello che fa su AWS risulta fatto da lui.
+UTENTE="$(utente_gitea)"
 if c_e aws && IDENTITA="$(aws sts get-caller-identity --query Arn --output text 2> /dev/null)" ; then
-  ok "accesso: ${IDENTITA##*/}"
+  if [ -n "$UTENTE" ] && [ "${IDENTITA##*/}" != "$UTENTE" ] ; then
+    rosso "la chiave AWS di questo PC e' di ${IDENTITA##*/}, non tua ($UTENTE): rilancia ./configura.sh, che la sostituisce"
+  else
+    ok "accesso: ${IDENTITA##*/}"
+  fi
   if aws ssm get-parameter --region "$AWS_REGIONE" --name "$SSM_PROVA" --query Parameter.Name --output text > /dev/null 2>&1 ; then
     ok "legge i segreti comuni su SSM"
   else
@@ -37,7 +44,6 @@ else
 fi
 
 titolo "Gitea"
-UTENTE="$(utente_gitea)"
 if [ -n "$UTENTE" ] ; then
   ok "token valido (utente $UTENTE)"
   if grep -q "@$GITEA_HOST" "$HOME/.git-credentials" 2> /dev/null || [ -n "$(git config --global credential.helper)" ] ; then