Git CLI – suggerimenti e trucchi (tips & tricks)

Ecco una lista di istruzioni da linea di comando utili quando si utilizza Git. Ricordiamoci, inoltre, che CLI sta per Command Line Interface.

1. Come aggiungere una nuova cartella/file .gitignore

Assicurati di aver prima di aver salvato tutte le modifiche e inviato tutti i commit prima di iniziare per evitare di perdere tutte le modifiche del codice

# rimuovi i file dalla cache
git rm -r --cached .

# aggiungi tutti i file tra cui anche i nuovi .gitignore
git add .

# ora, esegui il commit
git commit -m "Aggiunto un nuovo .gitignore"

2. Come modificare il committer

Cambiamo il nome e la mail del programmatore ;^)

# Cambia il tuo nome
git config --global user.name "Il mio nome"

# Cambia il tuo indirizzo mail
git config --global user.email nome@email.com

Dopo aver eseguito questi comandi, potremmo desiderare di modificare anche l’ultimo commit che abbiamo inviato in questo modo:

git commit --amend --reset-author

3. Come impostare il server proxy

# Impostiamo il metodo con cui autenticarci (username e password)
git config --global http.proxyAuthMethod <basic> oppure <anyauth>

# Impostiamo il proxy http
git config --global http.proxy "http://username:password@www.proxy.it:8080"

# Impostiamo anche il proxy https
git config --global https.proxy "http://username:password@www.proxy.it:8080"

# Impostiamo a false la verifica del certificato SSL
git config --global http.sslVerify false

Ma se volessimo rimuovere le impostazioni? Il comando da usare è:

git config --global --unset http.proxy

Infine, per verificare le impostazioni correnti del proxy basta digitare:

git config --global --get http.proxy

4. Come salvare le credenziali

git config --global credential.helper store

5. Come cambiare ramo (branch)

git checkout <nome-ramo>

6. Come rimuovere un commit errato

git reset --hard 71c27777...........
git push --force

7. Determinare l’url del repository

git remote get-url origin

8. Determinare lo stato dei file

git status

9. History di tutti i commit

git log --branches --tags --remotes --full-history --date-order --format='%ai %an <%ae> %h %f' >history.txt