Come e dove viene salvata la configurazione git in linux

La configurazione di Git viene salvata a tre livelli: locale, utente e di sistema.

Locale: La configurazione locale è specifica per un singolo repository. Viene memorizzata nel percorso del tuo repository in .git/config.

Utente: La configurazione utente è specifica per un utente sul sistema. Viene memorizzata nel file .gitconfig nella home directory dell’utente.

Sistema: La configurazione di sistema è globale per tutti gli utenti sul sistema. Viene memorizzata in /etc/.gitconfig o /usr/local/etc/.gitconfig a seconda del sistema operativo.

Quindi, se esegui uno dei comandi git config, la configurazione verrà salvata al livello specificato. Ad esempio, se usi git config –local, sarà salvato nel file .git/config del tuo repository locale. Se usi git config –global, sarà salvato nel file .gitconfig nella tua home directory. Se usi git config –system, sarà salvato nei file di configurazione di sistema.

Per i Maccofili funziona grossomodo allo stesso modo, per windows c’è un sistema equivalente di configurazioni, ma quello ve lo andate a cercare da voi 😀

Git da branch main a master

Da quando è stato cambiato il default branch name da master a main talvolta si è costretti a bonificare l’assetto del proprio del repository.

In questo articolo analizzeremo come fare a passare da main a master (ovviamente vale anche al contrario) ed eliminare il superfluo.

La procedura

Per aggiornare il branch master con il contenuto del branch main e successivamente rendere master il branch predefinito (default), segui questi passaggi:

1. Assicurati che il branch main sia aggiornato con le ultime modifiche:

Prima di tutto, assicurati che il tuo branch main sia allineato con le ultime modifiche e che sia il branch principale con il codice più aggiornato.

bashCopy code

# Assicurati di essere sul branch main git checkout main # Aggiorna il branch main con le ultime modifiche dal repository remoto (GitHub) git pull origin main

2. Fai il merge di main in master:

bashCopy code

# Cambia al branch master git checkout master # Fai il merge del branch main in master git merge main

3. Pusha i cambiamenti al repository remoto (GitHub):

bashCopy code

git push origin master

4. Imposta master come il branch predefinito:

Vai sul tuo repository GitHub e segui questi passaggi:

  • Vai alle Impostazioni del tuo repository.
  • Nella barra laterale a sinistra, seleziona “Branches”.
  • Accanto a “Default branch”, seleziona master dal menu a discesa.
  • Dovresti ricevere un messaggio che ti avverte che stai per modificare il branch predefinito.
  • Conferma il cambio e il branch master diventerà il nuovo branch predefinito.

5. Elimina main dal repository remoto (GitHub):

Attenzione: Prima di eliminare main, assicurati che tutto il codice e la storia siano presenti in master e che non ci siano dati importanti solo in main. In caso contrario, effettua un backup o salva i dati in master.

Per eliminare il branch main dal repository remoto, puoi eseguire i seguenti comandi:

bashCopy code

# Elimina il branch main dal repository remoto git push origin --delete main # Rimuovi il riferimento a main dalla tua copia locale git branch -d main

Ora hai aggiornato master con il contenuto di main e hai impostato master come il branch predefinito. Ricorda che l’eliminazione di main dal repository remoto rimuoverà il suo riferimento, ma potrebbe rimanere nella storia del repository.