Différences

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

--- howtos:git [2015/04/14 22:02] – lucas
+++ howtos:git [2025/09/20 13:15] (Version actuelle) – hackens-pub
@@ Ligne 1: / Ligne 1: @@
-Utiliser git
+<!DOCTYPE markdown>
-============
+Utiliser le serveur git élèves
+==============================
 Git sert à versionner des fichiers, tels que du code, des présentations, etc…
@@ Ligne 19: / Ligne 21: @@
 À 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>