Doc: more enhancements

guides/users/README.org

@@ -757,33 +757,40 @@ same.
 Then:
 
 #+BEGIN_SRC sh  :eval no
-opam -y init
-opam switch create 4.11.1
+opam init -y 
 eval $(opam env)
-opam -y install merlin tuareg
-opam -y user-setup install 
+echo "test -r ~/.opam/opam-init/init.sh && . ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true" >> ~/.bashrc
+opam switch create 4.11.1
+opam install -y merlin tuareg
+opam user-setup install 
 opam repo add -a verimag-sync-repo \
   "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
-opam -y update
-opam -y install sasa 
+opam update -y
+opam install -y sasa 
 #+END_SRC
 
-And optionally: 
+And optionally (to define test oracles in Lustre or daemons in Lutin): 
 
 #+BEGIN_SRC sh  :eval no
-opam -y depext  rdbgui4sasa lutin
-opam -y install rdbgui4sasa lutin lustre-v6
+opam depext  -y rdbgui4sasa lutin
+opam install -y rdbgui4sasa lutin lustre-v6
 #+END_SRC
 
-and:
-#+BEGIN_SRC sh 
+
+and optionally too (for =luciole=, a gtk-based UI useful to play daemon manually):
+#+BEGIN_SRC sh :eval no 
 mkdir ~/lv4 # for example
 cd ~/lv4
 wget http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v4/distrib/linux64/lustre-v4-III-e-linux64.tgz
 tar xvzf lustre-v4-III-e-linux64.tgz
-sudo apt install -y wish
 echo "LUSTRE_INSTALL=~/lv4/lustre-v4-III-e-linux64" >> ~/.bashrc # if you are using bash
 echo  "PATH=$LUSTRE_INSTALL/bin:$PATH"  >> ~/.bashrc 
+sudo apt install -y wish
+#+END_SRC
+
+and finally (for running examples in the =sasa/test/= directory):
+#+BEGIN_SRC sh :eval no
+git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git
 #+END_SRC
 
 ** Not strictly mandatory, but useful, third-party software
@@ -826,6 +833,7 @@ wget http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v4/distrib/linux64/l
 tar xvzf lustre-v4-III-e-linux64.tgz
 echo "LUSTRE_INSTALL=~/lv4/lustre-v4-III-e-linux64" >> ~/.bashrc # if you are using bash
 echo  "PATH=$LUSTRE_INSTALL/bin:$PATH"  >> ~/.bashrc 
+sudo apt install -y wish
 #+END_SRC
 Otherwise:
 http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v4/distrib/index.html