From 0aeb4717788fdf2a6a8c3b1acf3ddfa6191de862 Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Wed, 9 Sep 2020 13:07:56 +0200
Subject: [PATCH] maj

---
 command_line.md | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/command_line.md b/command_line.md
index 74bb3ed..6a450bc 100644
--- a/command_line.md
+++ b/command_line.md
@@ -21,12 +21,12 @@
 Toutes les informations obtenues avec une interface graphique, peuvent être obtenues à l'aide de la ligne de commande (liste loin d'être exhaustive):
 
 * Changement d'un répertoire: `cd`{.bash}
-* Affichage du contenu d'un répertoire: `ls`
-* Déplacement de fichier: `mv`
-* Copie de fichier: `cp`
-* Création de répertoire: `mkdir`
-* Recherche de fichier: `find`
-* Recherche de texte dans un fichier: `grep`
+* Affichage du contenu d'un répertoire: `ls`{.bash}
+* Déplacement de fichier: `mv`{.bash}
+* Copie de fichier: `cp`{.bash}
+* Création de répertoire: `mkdir`{.bash}
+* Recherche de fichier: `find`{.bash}
+* Recherche de texte dans un fichier: `grep`{.bash}
 * Etc, etc, etc, etc, etc
 
 ## Mais aussi
@@ -46,8 +46,8 @@ Ce qui marche *presque* tout le temps:
 
 Raccourcis clavier:
 
-* `Ctrl+Alt+T`
-* `Super+T`
+* `Ctrl+Alt+T`{.bash}
+* `Super+T`{.bash}
 * Vous pouvez customiser les raccourcis.
 
 # Une fois le terminal ouvert
@@ -59,11 +59,11 @@ $ pwd
 /home/orestis
 ```
 
-Exemple: `pwd` affiche le répertoire courant (**p**rint **w**orking **d**irectory).
+Exemple: `pwd`{.bash} affiche le répertoire courant (**p**rint **w**orking **d**irectory).
 
 **Attention: les commandes sont sensibles à la casse!**
 
-Exemple: `cd` change de répertoire (**c**hange **d**irectory).
+Exemple: `cd`{.bash} change de répertoire (**c**hange **d**irectory).
 
 :::::::::::::: {.columns}
 
-- 
GitLab