Git CLI – suggerimenti e trucchi (tips & tricks)

git logo

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>
%d blogger hanno fatto clic su Mi Piace per questo: