Passage à minted

FormaContinue_MeteoAvril2021/TPs/tp2-historique.tex

@@ -144,14 +144,14 @@ recherche dans l'historique.
 Tout d'abord, vérifiez que cette fonctionnalité est bien présente dans
 la version actuelle du projet. Le plus simple pour cela est de tester
 l'existence du répertoire \lstinline{contrib/mw-to-git}.
-\begin{lstlisting}[language=sh]
+\begin{minted}{sh}
 [ -d contrib/mw-to-git ] && echo "Le répertoire existe" || echo "Le répertoire n'existe pas"
-\end{lstlisting}
+\end{minted}
 
 Nous allons débuter la recherche par bissection~:
-\begin{lstlisting}
-git bisect start
-\end{lstlisting}
+\begin{minted}{console}
+$ git bisect start
+\end{minted}
 
 Git bissect est un outil plutôt utilisé pour remonter à l'origine de
 problèmes dans les programmes (plutôt que pour savoir quand telle ou
@@ -161,24 +161,25 @@ donc le suivant~: la fonctionnalité Mediawiki est nocive
 lequel cette fonctionnalité nocive est apparue.
 
 Nous partons de la tête de la branche master. Comme nous avons pu le
-vérifier préalablement, le répertoire \lstinline{contrib/mw-to-git}
+vérifier préalablement, le répertoire \mintinline{bash}{contrib/mw-to-git}
 existe bien dans l'état actuel. C'est donc qu'il faut remonter dans
 l'historique pour trouver le premier commit dans lequel ce répertoire
 a été versionné. Pour cela, nous disons à git que ce commit est
 mauvais~:
-\begin{lstlisting}
-git bisect bad
-\end{lstlisting}
+\begin{minted}{console}
+$ git bisect bad
+\end{minted}
 
 Ensuite, il faut remonter (manuellement pour cette fois-ci) à un
 commit antérieur. Remontons à la version 1.0.0 de git, et testons si
 la fonctionnalité est déjà présente ou non. Normalement, elle ne
 devrait pas l'être, donc nous marquons ce commit comme \texttt{good}~:
-\begin{lstlisting}
-git checkout v1.0.0
-[ -d contrib/mw-to-git ] && echo "Le répertoire existe" || echo "Le répertoire n'existe pas"
-git bisect good
-\end{lstlisting}
+\begin{minted}{console}
+$ git checkout v1.0.0
+$ [ -d contrib/mw-to-git ] && echo "Le répertoire existe" || echo "Le répertoire n'existe pas"
+Le répertoire existe
+$ git bisect good
+\end{minted}
 
 La suite est semi-automatique. Après avoir réfléchi un petit moment,
 git va vous proposer un commit intermédiaire. À vous de déterminer si
@@ -191,9 +192,9 @@ permis l'apparition de cette fonctionnalité. Qui en est responsable~?
 Est-ce un bon exemple de message de commit~?
 
 Terminez l'exercice en revenant à la position initiale~:
-\begin{lstlisting}
-git bisect reset
-\end{lstlisting}
+\begin{minted}{console}
+$ git bisect reset
+\end{minted}
 
 \section{Pour conclure\dots{}}