Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
howtos:git [2015/04/15 00:02]
lucas
howtos:git [2015/04/16 14:10] (Version actuelle)
lucas
Ligne 19: Ligne 19:
  
 À l'​extérieur de la cave, il est plus simple d'​avoir une clé ssh enregistrée sur son [profil du serveur git](https://​git.eleves.ens.fr/​profile). À l'​extérieur de la cave, il est plus simple d'​avoir une clé ssh enregistrée sur son [profil du serveur git](https://​git.eleves.ens.fr/​profile).
 +
 +Unable to access: server certificate verification failed
 +--------------------------------------------------------
 +Cette erreur est dû au certificat de git.eleves, qui n'est pas accepté par défaut partout.
 +
 +Obtenir le certificat :
 +<​code>​
 +openssl s_client -connect git.eleves.ens.fr:​443 > git.eleves.cert.pem
 +</​code>​
 +
 +Maintenant, ouvrir cert.pem, et supprimer ce qui est à l'​extérieur de BEGIN CERTIFICATE/​END CERTIFICATE (mais laisser ces deux lignes).
 +
 +Enfin, le faire reconnaître par git :
 +
 +<​code>​
 +git config --global http.sslCAInfo /​path/​to/​cert/​git.eleves.cert.pem
 +</​code>​
 +