Git Clone: imposta un proxy prima del primo fetch

Un proxy locale al repository sembra strano prima che il repository esista. Non serve clonare senza successo, modificare la configurazione e ricominciare.

Clone può scrivere un'impostazione locale prima del primo fetch:

git clone --config http.proxy=http://proxy.example.net:8080 \
  https://git.example.net/team/project.git project

Questi endpoint sono esempi. Per un repository HTTPS pubblico su un percorso proxy pubblico consentito, scegli un endpoint HTTP dall'elenco dei proxy HTTP. Git documenta che questa opzione ha effetto dopo l'inizializzazione del nuovo repository e prima del recupero della sua cronologia remota. Per questa impostazione proxy può quindi coprire il primo download e restare nel nuovo repository.

Due comandi simili lasciano impronte diverse

Per fornire il percorso a una singola invocazione senza memorizzare l'impostazione nel repository clonato, metti -c prima del sottocomando:

git -c http.proxy=http://proxy.example.net:8080 \
  clone https://git.example.net/team/project.git project

git clone --config ... e git -c ... clone non sono ambiti di configurazione intercambiabili. Scegli se le operazioni future in quel repository devono conservare il proxy.

Ispeziona la configurazione locale del nuovo repository quando questa scelta conta. Altre impostazioni utente, di sistema o specifiche dell'URL possono comunque partecipare alla politica effettiva.

Tieni le password fuori da questi esempi quando memorizzi il percorso. Un valore con credenziali passato all'opzione di configurazione di clone può diventare un'impostazione permanente del repository.

Questa è una configurazione del trasporto HTTP, inclusi i remoti HTTPS. Un remoto SSH necessita ancora del proprio percorso proxy SSH; spostare SSH sulla porta 443 non fa sì che questa opzione lo configuri.