Differences

This shows you the differences between two versions of the page.

--- 2018_2019:s3:methodo:td:git:lignescommandes [2018/09/04 13:17] – created blay
+++ 2018_2019:s3:methodo:td:git:lignescommandes [2018/09/05 15:42] (current) – blay
@@ Line 1: / Line 1: @@
+Attention à votre environnement...
+<code>
+git config --global http.sslVerify false
+</code>
+Et bien sûr pour savoir qui commite :
+<code>
+git config --global user.name "myusername"
+etc.
+</code>
+Pour les étudiants qui utilisent leur ordi perso, il est possible que vous ayez besoin de, ouvrir un Git CMD en administrateur, puis taper la commande suivante:
+<code> git config --system --unset credential.helper</code>
 ==== 1. Créer/Récupérer un nouveau dépôt (info) ====
@@ Line 111: / Line 130: @@
   -	 Listez les étiquettes disponibles <code> git tag </code>
-Attention !  Les tags ne sont pas poussés automatiquement sur un serveur distant. Il faut demander explicitement à pousser les étiquettes après les avoir créées localement (cf. cheat sheet) ou utiliser l’option –-tags
+Attention !  Les tags ne sont pas poussés automatiquement sur un serveur distant. Il faut demander explicitement à pousser les étiquettes après les avoir créées localement (cf. cheat sheet) ou utiliser l’option –-tags par exemple <code> git push origin -- tags </code>