diff --git a/slides/command_line.md b/slides/command_line.md index 4321c04786b3ae2ac7ca4acb83bbb146d16d2fac..a7734025b2d8f4f8b46e37bfb15e868cc0217924 100644 --- a/slides/command_line.md +++ b/slides/command_line.md @@ -130,6 +130,8 @@ $ pwd # Quelques commandes utiles (1/3) +\footnotesize + ## `mkdir`, création de répertoire ```bash