tutorials/2019-11-HPNS-Inria: minor fixes

contents/tutorials/2019-11-HPNS-Inria/index.html

@@ -43,19 +43,19 @@ Once connected to the platform, create a
 file <a href="files/channels.scm"><tt>$HOME/.config/guix/channels.scm</tt></a>
 with the following contents
 <tt><pre>
-    (list (channel
-        (name 'guix-hpc-non-free)
-        (url "https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git")
+(list (channel
+    (name 'guix-hpc-non-free)
+    (url "https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git")
 	)
-      (channel
-        (name 'guix-hpc)
-        (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git")
-      )
-      (channel
-        (name 'guix)
-        (url "https://git.savannah.gnu.org/git/guix.git")
-        (commit
-          "bfaa06171842225c8bf4c839e35ac36a0b2c2d59")))
+  (channel
+    (name 'guix-hpc)
+    (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git")
+  )
+  (channel
+    (name 'guix)
+    (url "https://git.savannah.gnu.org/git/guix.git")
+    (commit
+      "bfaa06171842225c8bf4c839e35ac36a0b2c2d59")))
 </pre></tt>
 
 You then need to call
@@ -82,7 +82,7 @@ srun -p hpc -N 1 --pty bash -i
     The following Guix command will put in a dedicated StarPU SimGrid
     environment
     <tt><pre>
-	guix environment --pure starpu-simgrid --ad-hoc starpu-simgrid grep coreutils emacs less openssh inetutils  -- /bin/bash --norc
+guix environment --pure starpu-simgrid --ad-hoc starpu-simgrid grep coreutils emacs less openssh inetutils  -- /bin/bash --norc
     </pre></tt>
   </p>
 
@@ -90,7 +90,7 @@ srun -p hpc -N 1 --pty bash -i
     StarPU finds your hardware with:
     <tt>
       <pre>
-	starpu_machine_display
+starpu_machine_display
       </pre>
     </tt>
   </p>
@@ -100,8 +100,8 @@ srun -p hpc -N 1 --pty bash -i
     StarPU will use CUDA workers.
     <tt>
       <pre>
-	. ./init.sh
-	starpu_machine_display
+. ./init.sh
+starpu_machine_display
       </pre>
     </tt>
   </p>