tutorials/2019-11-HPNS-Inria: update

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

@@ -20,14 +20,19 @@
       <a href="../">Back to the main page</a>
 </div>
 
-This tutorial is part of
+<div class="section">
+  <p>
+    This tutorial is part of
   the <a href="https://project.inria.fr/hpcschool2019/">Inria automn
   school "High Performance Numerical Simulation"</a> taking place in Bordeaux on
-November, 4th-8th 2019
+    November, 4th-8th 2019
+  </p>
 
-All the files needed in the following section are available in this
-<a href="files/material.tgz">archive</a>. Please download it, copy it
-on the platform, and go in the directory <tt>files</tt>.
+  <p>
+    All the files needed in the following section are available in this
+    <a href="files/material.tgz">archive</a>. Please download it, copy
+    it on the platform, and go in the directory <tt>files</tt>.
+  </p>
 
 <div class="section">
 <h2>Setup</h2>
@@ -35,8 +40,8 @@ on the platform, and go in the directory <tt>files</tt>.
 We will use the Guix distribution to install StarPU on the platform.
 
 Once connected to the platform, create a
-file <tt>$HOME/.config/guix/channels.scm</tt> with the following
-contents
+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)
@@ -53,9 +58,7 @@ contents
           "bfaa06171842225c8bf4c839e35ac36a0b2c2d59")))
 </pre></tt>
 
-You can also download the file <a href="files/channels.scm">here</a>
-
-You need then to call
+You then need to call
 <tt><pre>
 guix pull
 </pre></tt>
@@ -93,7 +96,7 @@ srun -p hpc -N 1 --pty bash -i
   </p>
 
   <p>
-    If you execute the script shell <tt>init.sh</tt>, you will see
+    If you execute the script shell <a href="files/init.sh"><tt>init.sh</tt></a>, you will see
     StarPU will use CUDA workers.
     <tt>
       <pre>
@@ -595,6 +598,14 @@ application specifies MPI transfers by hand, or it lets StarPU infer them from
 data dependencies.
 </p>
 
+<p>
+  We will use here the non-simulated version of StarPU, by calling the
+  following Guix command
+  <tt><pre>
+      guix environment --pure starpu --ad-hoc starpu grep coreutils emacs less openssh inetutils  -- /bin/bash --norc
+  </pre></tt>
+</p>
+
 <div class="section">
 <h3>Manual MPI transfers</h3>