make compliant with mistune update

posts/2014/2014-01-02-horde-debian.md

@@ -54,7 +54,7 @@ L'installation de PEAR sur Debian est galette.
 Puis, on enregistre le canal Horde sur Pear et on installe les composants
 nécessaires :
 
-``` shell
+```shell
 mkdir -p /var/www/horde
 cd /var/www/horde
 pear channel-discover pear.horde.org
@@ -74,7 +74,7 @@ Dans le cas de NginX sur Debian, il faut ajuster les permissions du répertoire.
 Et il faut créer les fichiers de configuration de chaque application à partir
 des modèles fournis :
 
-``` shell
+```shell
 cd /var/www/horde/config
 for f in *.dist; do cp $f `basename $f .dist`; done
 cd /var/www/horde/kronolith/config
@@ -90,7 +90,7 @@ for f in *.dist; do cp $f `basename $f .dist`; done
 Il reste à configurer NginX. Je force l'utilisation de HTTPS en redirigeant les
 requêtes HTTP vers la version sécurisée du site.
 
-``` nginx
+```nginx
 server {
     listen 80;
     server_name groupware.exemple.fr;

posts/2014/2014-01-22-qmail.md

@@ -34,7 +34,7 @@ Il faut remplacer *0* par *127.0.0.1* dans le fichier
 
 Voici la version modifiée :
 
-``` shell
+```shell
     QMAILDUID=`id -u qmaild`
     NOFILESGID=`id -g qmaild`
     MAXSMTPD=`cat /var/lib/qmail/control/concurrencyincoming`

posts/2014/2014-04-15-redis-ha.md

@@ -152,7 +152,7 @@ nouveau s'adresser aux sentinelles pour récupérer l'adresse du Redis maître.
 
 Voici un exemple typique de code en Python :
 
-``` python
+```python
 from redis.sentinel import Sentinel
 sentinel = Sentinel(
     [('192.168.0.51', 26379), ('192.168.0.52', 6379)], socket_timeout=0.1)

posts/2014/2014-05-25-supervisor.md

@@ -28,7 +28,7 @@ l'arrêt fiable du processus en manipulant son PID.
 Voici un exemple de script d'init à la sauce Debian pour un programme
 JAVA :
 
-``` shell
+```shell
 ### BEGIN INIT INFO
 # Provides:          monprog
 # Required-Start:    $local_fs $remote_fs $network $syslog
@@ -185,7 +185,7 @@ Dans cet exemple, on envoie un signal SIGINT à monprog pour lui demander un arr
 
 #### Interception d'un signal SIGINT en JAVA
 
-``` java
+```java
 // register a shutdown hook
 Runtime.getRuntime().addShutdownHook(new Thread() {
     @Override

posts/2014/2014-08-12-qemu-raspbian.md

@@ -17,7 +17,7 @@ En pré-requis, on suppose que Qemu est installé sur le système hôte. On
 vérifie que le processeur ARM du Raspberry est supporté par Qemu avec la
 commande suivante :
 
-``` shell
+```shell
 $ qemu-system-arm -cpu ?
 ```
 
@@ -34,7 +34,7 @@ La modification d'un fichier est nécessaire pour que la distribution
 fonctionne avec Qemu. On effectue donc un premier démarrage particulier avec
 BASH en processus INIT pour la réaliser.
 
-``` shell
+```shell
 $ qemu-system-arm -kernel kernel-qemu -cpu arm1176 -m 256 -M versatilepb -no-reboot -serial stdio -append "root=/dev/sda2 panic=1 rootfstype=ext4 rw init=/bin/bash" -hda 2014-06-20-wheezy-raspbian.img
 ```
 
@@ -66,7 +66,7 @@ D'abord on élargit le disque avec l'utilitaire qemu-resize.
 
 Ensuite on démarre la Raspbian avec Qemu
 
-``` shell
+```shell
 $ qemu-system-arm -kernel kernel-qemu -cpu arm1176 -m 256 -M versatilepb -no-reboot -serial stdio -append "root=/dev/sda2 panic=1 rootfstype=ext4 rw" -hda 2014-06-20-wheezy-raspbian.img
 ```