From 2f8cd4bcded328e36a538c3aad8a01fd9555b03f Mon Sep 17 00:00:00 2001
From: grouille <guillaume.rouille@polytech-lille.net>
Date: Tue, 21 Apr 2020 16:15:08 +0200
Subject: [PATCH] Protocole RPI

---
 site/addRpi.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/site/addRpi.php b/site/addRpi.php
index 0f48496..73e8c75 100644
--- a/site/addRpi.php
+++ b/site/addRpi.php
@@ -37,13 +37,13 @@ session_start();
 								Effectuez la commande : <code>nano /etc/resolv.conf</code><br/>
 								Effacez le contenu du fichier et ajouter : <code>nameserver 193.48.57.48</code><br/>
 								Effectuez la commande : <code>nano /etc/network/interfaces</code></br>
-								Ajoutez à la fin du fichier le code suivant en remplaçant X par la fin de l'adresse IP que vous souhaitez donner à votre Raspberry Pi :<br/>
+								Ajoutez à la fin du fichier le code suivant en remplaçant X par la fin de l'adresse IP que vous souhaitez donner à votre Raspberry Pi et en remplaçant <TAB> par une tabulation :<br/>
 								<code>
 									auto eth0<br/>
 									iface eth0 inet static<br/>
-									    address 172.26.145.X<br/>
-									    netmask 255.255.255.0<br/>
-									    gateway 172.26.145.254<br/>
+									<TAB>address 172.26.145.X<br/>
+									<TAB>netmask 255.255.255.0<br/>
+									<TAB>gateway 172.26.145.254<br/>
 								</code><br/>
 								Lancez la commande : <code>ifdown eth0</code><br/>
 								Lancez la commande : <code>ifup eth0</code><br/>
--
libgit2 0.21.2