Update procédure_installation_guix.md

This commit is contained in:
Adrien Bourmault 2024-07-09 14:19:27 +02:00
parent c964bccd99
commit 2d2f9d8e15
1 changed files with 19 additions and 10 deletions

View File

@ -47,7 +47,7 @@ dhclient
10. Récupérer la configuration de Guix pré-préparée : 10. Récupérer la configuration de Guix pré-préparée :
``` ```
wget forge.chalec.org/neox/guix_jerome wget forge.chalec.org/neox/guix_jerome/raw/branch/master/config.scm
``` ```
@ -74,27 +74,36 @@ La selection des commandes se fait avec les flèches.
14. Utiliser la commande _Quit_, appuyez sur entrée. 14. Utiliser la commande _Quit_, appuyez sur entrée.
Dans ce tutoriel on identifie `/dev/vda1` comme le disque cible de l'installation. Si vous avez un nvme, il faudra le remplacer par le bon chemin sur votre machine : par exemple `/dev/nvme0n1p1` 15. Dans ce tutoriel on identifie `/dev/vda1` comme le disque cible de l'installation. Si vous avez un nvme, il faudra le remplacer par le bon chemin sur votre machine : par exemple `/dev/nvme0n1p1`
On commence par formater et chiffrer la partition : On commence par formater et chiffrer la partition :
``` ```
cryptsetup luksFormat /dev/nvme0n1p1 cryptsetup luksFormat /dev/nvme0n1p1
```
Puis on ouvre le disque chiffré :
```
cryptsetup open /dev/nvme0n1p1 ROOT cryptsetup open /dev/nvme0n1p1 ROOT
```
Puis on formate la partition :
```
mkfs.ext4 -L ROOT /dev/mapper/ROOT mkfs.ext4 -L ROOT /dev/mapper/ROOT
``` ```
14. On corrige l'identificant de la partition racine dans la configuration : 16. La partition racine a maintenant un identufuabt On corrige l'identificant de la partition racine dans la configuration :
``` ```
UUID=$(blkid -o value -s UUID /dev/nvme0n1p1) UUID=$(blkid -o value -s UUID /dev/nvme0n1p1)
sed -i "s/CHANGE_THIS_UUID/${UUID}/g" config.scm sed -i "s/CHANGE_THIS_UUID/${UUID}/g" config.scm
``` ```
15. On monte ensuite la partition : 17. On monte ensuite la partition :
``` ```
mount LABEL=ROOT /mnt mount LABEL=ROOT /mnt
``` ```
16. Déplacer le fichier de configuration à son emplacement final : 18. Déplacer le fichier de configuration à son emplacement final :
``` ```
mkdir /mnt/etc mkdir /mnt/etc
mv config.scm /mnt/etc/config.scm mv config.scm /mnt/etc/config.scm
@ -103,31 +112,31 @@ mv config.scm /mnt/etc/config.scm
### Lancement de l'installation ### Lancement de l'installation
17. On active le service du Store : 19. On active le service du Store :
``` ```
herd start cow-store /mnt herd start cow-store /mnt
``` ```
18. On lance l'installation : 20. On lance l'installation :
``` ```
guix system init /mnt/etc/config.scm /mnt guix system init /mnt/etc/config.scm /mnt
``` ```
19. Une fois cela terminé, on peut redémarrer le système. 21. Une fois cela terminé, on peut redémarrer le système.
### Configuration d'OpenVPN ### Configuration d'OpenVPN
20. Après redémarrage, connexion à la session, on ouvre un terminal. 22. Après redémarrage, connexion à la session, on ouvre un terminal.
On créé le fichier d'identifiants d'OpenVPN pour FDN : On créé le fichier d'identifiants d'OpenVPN pour FDN :
``` ```
sudo nano /etc/openvpn/fdn.creds sudo nano /etc/openvpn/fdn.creds
``` ```
21. Dans ce fichier, on insère les identifiants du VPN tels que décrits sur [le SI de FDN](https://vador.fdn.fr). 23. Dans ce fichier, on insère les identifiants du VPN tels que décrits sur [le SI de FDN](https://vador.fdn.fr).
De plus, on récupère le fichier de certificat de FDN : De plus, on récupère le fichier de certificat de FDN :
``` ```