correction openvpn

config.scm

@@ -277,21 +277,21 @@ SUBSYSTEM==\"usb_device\", GROUP=\"spice\", MODE=\"0660\"
           ;; Service du client OpenVPN (pré-configuré pour FDN)
           (service openvpn-client-service-type
             (openvpn-client-configuration
-              (proto tcp)
-              (fast-io? #t)
-              (ca "/etc/openvpn/fdn.crt")
-              (auth-user-pass "/etc/openvpn/fdn.creds")
               (remote
                 (list
                   (openvpn-remote-configuration 
                     (name "vpn.fdn.fr")
                     (port 1194))
-                  (openvpn-remote-configuration)
+                  (openvpn-remote-configuration
                     (name "vpn-rw.fdn.fr")
                     (port 80))
-                  (openvpn-remote-configuration)
+                  (openvpn-remote-configuration
                     (name "vpn-rw.fdn.fr")
                     (port 53))))
+                (proto tcp)
+                (fast-io? #t)
+                (ca "/etc/openvpn/fdn.crt")
+                (auth-user-pass "/etc/openvpn/fdn.creds")))
 
           ;; Service Xorg
           (set-xorg-configuration

procédure_installation_guix.md

@@ -56,24 +56,35 @@ Un résultat comme suit apparaît :
 
 Si aucune partition n'existe, on utilisera l'utilitaire `cfdisk` (embarqué dans l'installateur). Pour cela, lancer simplement `cfdisk` et créer au moins une partition. Attention : bien penser à exécuter la commande d'écriture pour que les changements ne soient pas perdus. Redémarrer peut être nécessaire.
 
-Ici, on identifie `/dev/vda1` comme le disque cible de l'installation.
+Ici, on identifie `/dev/vda1` comme le disque cible de l'installation. Il faudra le remplacer par le bon chemin sur votre machine.
 
 On commence par formater et chiffrer la partition :
 ```
 cryptsetup luksFormat /dev/vda1
-cryptsetup open /dev/vda1 my-partition
-mkfs.ext4 -L my-root /dev/mapper/my-partition
+cryptsetup open /dev/vda1 ROOT
+mkfs.ext4 -L ROOT /dev/mapper/ROOT
+```
+
+On corrige l'identificant de la partition racine dans la configuration :
+```
+UUID=$(blkid -o value -s UUID /dev/vda1)
+sed -i "s/CHANGE_THIS_UUID/${UUID}/g" config.scm
 ```
 
 On monte ensuite la partition :
 ```
-mount LABEL=my-root /mnt
+mount LABEL=ROOT /mnt
 ```
 
+Déplacer le fichier de configuration à son emplacement final :
+```
+mkdir /mnt/etc
+mv config.scm /mnt/etc/config.scm
+```
 
+### Configuration d'OpenVPN
 
-
-### 
+Créer 
 
 ### Lancement de l'installation
 
@@ -82,10 +93,6 @@ On active le service du Store :
 herd start cow-store /mnt
 ```
 
-Déplacer le fichier de configuration à son emplacement final :
-```
-mv config.scm /mnt/etc/config.scm
-```
 
 On lance l'installation :
 ```