ajustement de présentation minted

FormaContinue_MeteoAvril2021/TPs/tp1-intro-git.tex

@@ -330,9 +330,9 @@ faire apparaître le répertoire \texttt{sandbox/}.
 Pour commencer, on va travailler dans le répertoire \texttt{sandbox}, qui
 contient deux fichiers pour s'entraîner~:
 
-\begin{minted}{bash}
-cd sandbox
-emacs hello.c
+\begin{minted}{console}
+both@laptops$ cd sandbox
+both@laptops$ emacs hello.c
 \end{minted}
 
 Il y a deux problèmes identifiés par des commentaires dans le fichier \texttt{hello.c} ().
@@ -341,12 +341,9 @@ en haut du fichier, et enregistre le résultat.
 
 \subsection{Création de nouvelles révision}
 
+Avec la commande \mintinline{bash}{git status}, un utilisateur peut comparer le repertoire de travail et le dépôt. On voit apparaître~:
 \begin{minted}{console}
-both@laptops$ git status                  # comparaison du répertoire de
-                            # travail et du dépôt.
-\end{minted}
-On voit apparaître~:
-\begin{minted}{console}
+both@laptops$ git status
 On branch master
 Changes not staged for commit:
   (use "git add <file>..." to update what will be committed)
@@ -362,8 +359,8 @@ La distinction entre « Changes not staged for commit » et « Changes to be
 committed » n'est pas importante pour l'instant.
 On peut vérifier plus précisément
 ce qu'on vient de faire~:
-\begin{minted}{bash}
-git diff HEAD
+\begin{minted}{console}
+both@laptops$ git diff HEAD
 \end{minted}
 Comme {\em Alice} et {\em Bob} ont fait des modifications différentes, le diff
 affiché sera différent, mais ressemblera dans les deux cas à~:
@@ -408,11 +405,11 @@ notre cas).
 
 On peut visualiser ce qui s'est passé avec les commandes
 \begin{minted}{console}
-both@laptops$ gitk            # Visualiser l'historique graphiquement
+both@laptops$ gitk --all  # Visualiser tout l'historique graphiquement
 \end{minted}
 et
 \begin{minted}{console}
-both@laptops$ git gui blame hello.c  # voir l'historique de chaque ligne du fichier hello.c
+both@laptops$ git gui blame hello.c    # voir l'historique de chaque ligne du fichier hello.c
 \end{minted}
 
 On va maintenant mettre ce « commit » à disposition des
@@ -425,12 +422,12 @@ SEULEMENT {\em Bob} fait~:
 bob@laptop2$ git push     # Envoyer les commits locaux dans le dépôt partagé
 \end{minted}
 Pour voir où on en est, les deux équipes peuvent lancer la commande~:
-\begin{minted}{bash}
-gitk               # afficher l'historique sous forme graphique
+\begin{minted}{console}
+both@laptops$ gitk --all   # afficher l historique sous forme graphique
 \end{minted}
 ou bien
-\begin{minted}{bash}
-git log            # afficher l'historique sous forme textuelle.
+\begin{minted}{console}
+both@laptops$ git log     # afficher l'historique sous forme textuelle.
 \end{minted}
 À PRESENT, {\em Alice} peut tenter d'envoyer ses modifications et on voit apparaître~:
 \begin{minted}{console}
@@ -456,11 +453,11 @@ alice@laptop1$ git pull
 \end{minted}
 Après quelques messages sur l'avancement de l'opération, on voit
 apparaître~:
-\begin{verbatim}
+\begin{minted}{console}
 Auto-merging sandbox/hello.c
 CONFLICT (content): Merge conflict in sandbox/hello.c
 Automatic merge failed; fix conflicts and then commit the result.
-\end{verbatim}
+\end{minted}
 Ce qui vient de se passer est que {\em Bob} et {\em Alice} ont fait
 des modifications au même endroit du même fichier dans les commits
 qu'ils ont faits chacun de leur côté (en ajoutant leurs noms sur la