Impostazioni utente

Il pannello Impostazioni utente ti permette di aggiornare le credenziali git e la lingua dell’interfaccia sul tuo computer. È disponibile per tutti i ruoli — maintainer e membro — perché le credenziali di sincronizzazione sono personali, archiviate in modo sicuro nel registro del sistema operativo e non condivise con il team.

Per aprire il pannello, premi il pulsante circolare con le tue iniziali all’estrema destra della barra degli strumenti della dashboard.

Perché esiste

Quando il server git viene migrato (per esempio da Gitea a Forgejo) o quando cambi la password, il token di accesso salvato smette di funzionare e la sincronizzazione fallisce con un errore di autenticazione. In precedenza non c’era modo, per un membro normale, di aggiornare le proprie credenziali dall’interno dell’app: l’unico punto di modifica era l’azione Cambia repository nella scheda Sistema, riservata al maintainer e che comportava anche l’inserimento di un nuovo URL. Ora chiunque può aggiornare le proprie credenziali dal pannello Impostazioni utente, senza toccare la configurazione del repository.

Le sezioni del pannello

Account

Informazioni in sola lettura su questa macchina:

• Ruolo — il ruolo rilevato dai permessi git (Maintainer o Membro).
• Nome macchina — l’identificativo di questa macchina nel team.
• Edizione — l’edizione attiva della licenza.
• Posti — quante macchine sono attive rispetto al limite della tua edizione.

Credenziali di sincronizzazione

Qui aggiorni le credenziali git usate per raggiungere il repository di sincronizzazione. Le credenziali sono archiviate nel registro sicuro del sistema operativo e non vengono mai scritte in chiaro su disco.

Il pannello mostra un blocco per il repository CORE e, nell’edizione Team , un secondo blocco per il repository Memorie.

Per ciascun blocco:

• Nome utente — il nome utente del tuo account sul provider git (GitHub, GitLab, Gitea…).
• Token di accesso — il token di accesso personale (PAT). Lascia questo campo vuoto se vuoi modificare solo il nome utente: il token attualmente salvato verrà mantenuto.

Premi Verifica e salva per convalidare le nuove credenziali prima di salvarle. Il pulsante esegue un controllo di connettività sul repository corrente e salva solo se il controllo ha esito positivo. Mentre lavora, il pulsante mostra uno stato di attività; se il controllo fallisce, il pannello resta aperto con il messaggio, così puoi correggere i dati e riprovare. L’URL del repository non viene mai modificato da questa azione.

Aggiungi la tua email se i commit sono anonimi

I commit di sincronizzazione portano un nome e un’email, così il tuo host git può attribuirli a te. Se questa macchina non ha un’email impostata, il pannello te ne chiede una — «aggiungi la tua email così il tuo host git può attribuirti [i commit]» — e la salva insieme alle tue credenziali. È la stessa identità che puoi impostare dalla scheda Team; puoi cambiare nome ed email qui in qualsiasi momento.

Consiglio

Per aggiornare solo il nome utente, lascia vuoto il campo Token di accesso: il token già salvato viene conservato.

Nota

Verifica e salva non modifica l’URL del repository. Se hai bisogno di collegare un repository diverso, usa Cambia repo nella scheda Sistema (richiede il ruolo Maintainer).

Lingua

Il selettore della lingua dell’interfaccia, identico a quello presente nella barra degli strumenti della dashboard.

Credenziali scadute

Quando le credenziali salvate non funzionano più, la dashboard segnala il problema con un messaggio Credenziali scadute nella scheda Panoramica. Il pulsante Aggiorna credenziali che compare accanto al messaggio apre direttamente il pannello Impostazioni utente, senza che tu debba cercarlo. Anche le notifiche di sincronizzazione suggeriscono di aprire il menu dell’avatar per aggiornare le credenziali.

Procedura passo per passo

1. Premi il pulsante circolare con le tue iniziali all’estrema destra della barra degli strumenti della dashboard.
2. Nella sezione Credenziali di sincronizzazione, individua il blocco del repository da aggiornare (CORE o, nell’edizione Team, Memorie).
3. Aggiorna il Nome utente e/o inserisci il nuovo Token di accesso. Per cambiare solo il nome utente, lascia vuoto il campo Token.
4. Premi Verifica e salva. Il pannello verifica la connettività prima di salvare.
5. Se la verifica ha esito positivo, le nuove credenziali vengono salvate e la sincronizzazione riprende.

Continua da qui

• La dashboard — tutti gli elementi e le schede della dashboard.
• Risoluzione dei problemi — altri problemi comuni di sincronizzazione.