diff --git a/config.tex b/config.tex index 64984a50e9509ef635626414b43645ef32cab988..41f69ce7050178770d6d9ce869be946a5581f823 100644 --- a/config.tex +++ b/config.tex @@ -30,17 +30,18 @@ Trois niveaux de configuration \begin{itemize} \item Positionnement du nom utilisateur\\ - \ex{git config --global user.name "Philippe Dosch"} + \ex{git config -{}-global user.name "Philippe Dosch"} \item Positionnement de l'adresse mail\\ - \ex{git config --global user.email "dosch@loria.fr"} + \ex{git config -{}-global user.email "dosch@loria.fr"} \item Sorties en couleurs\\ - \ex{git config --global color.ui "auto"} - % \item - % Politique de synchronisation des branches lors de \ex{push} (pour - % 1.7.11 $\leqslant$ git $<$ 2.0)\\ - % \ex{git config --global push.default simple} + \ex{git config -{}-global color.ui "auto"} + \item + Choix de l'éditeur par défaut\\ + \ex{git config -{}-global core.editor "\emph{chemin vers + l'éditeur}"} (exemple de chemin sous Windows pour Atom : + \ex{C:/Program Files (x86)/atom/atom.exe -{}-wait}) \end{itemize} } diff --git a/gitmain.tex b/gitmain.tex index 29fa7323f82d9fa76c0d6dac69525d2d23ac83b0..b8fe9d58c3805f15c608e1b9de89cc65e853932c 100644 --- a/gitmain.tex +++ b/gitmain.tex @@ -2,7 +2,7 @@ \title{Git} \subtitle{Principes et utilisation de base} -\date{Mars 2018} +\date{Mars 2019} % Un commentaire juste pour provoquer l'encodage : éàè