guix_jerome/procédure_installation_guix.md

92 lines
2.7 KiB
Markdown
Raw Normal View History

2024-06-25 18:42:55 +02:00
# Procédure d'installation de GNU Guix
## Scénario d'un PC vierge
### Récupération de l'ISO de GNU Guix
Télécharger la version actuelle de GNU Guix (système) [ici](https://ci.guix.gnu.org/search/latest/ISO-9660?query=spec:images+status:success+system:x86_64-linux+image.iso) et l'écrire sur une clé USB.
#### Écriture de l'image ISO sur clé USB
Il est possible d'utiliser l'application Disques de GNOME
![](disques.png)
Sous Windows, il est possible d'utiliser l'application [Rufus](https://rufus.ie/en/), et penser à choisir le système de fichier FAT32.
### Démarrage de l'installateur
2024-07-09 13:30:59 +02:00
1. Insérer la clé USB dans l'ordinateur et la démarrer. pour cela utiliser la touche F7 lors de l'apparition du logo Novacustom. Choisir le nom de la clé USB dans la menu.
2024-06-25 18:42:55 +02:00
2. Appuyer sur entrée pour le démarrage de l'installateur
![](guix_01.png)
3. Continuer à suivre les instructions pour paramétrer la localisation et la langue.
![](guix_02.png)
![](guix_03.png)
4. Choisir l'installation dans un processus `shell` pour pouvoir installer manuellement GNU Guix.
![](guix_04.png)
5. Appuyer sur Entrée pour ouvrir le terminal
![](guix_05.png)
6. Vous avez désormais un terminal prêt à l'utilisation !
![](guix_06.png)
### Configuration
2024-07-08 15:09:46 +02:00
### Préparation de l'installation
2024-07-09 13:30:59 +02:00
7. Charger les caractères AZERTY/français :
2024-06-25 18:42:55 +02:00
```
root@gnu ~# loadkeys fr
```
2024-07-09 13:30:59 +02:00
8. Connecter la machine au réseau. Pour cela utiliser un téléphone **personnel** connecté par USB à l'ordinateur. Utiliser le partage de connexion par USB.
9. Exécuter la commande DHCP :
```
dhclient
```
2024-06-25 19:04:01 +02:00
2024-07-09 16:15:18 +02:00
11. Récupérer l'installateur simplifié de Guix pré-préparé :
```
wget forge.chalec.org/neox/guix_jerome/raw/branch/master/install.sh
```
2024-07-08 15:09:46 +02:00
2024-07-09 16:22:34 +02:00
### Installation de Guix
2024-07-08 15:09:46 +02:00
2024-07-09 16:15:18 +02:00
12. Rechercher la liste des disques :
2024-06-25 19:04:01 +02:00
```
lsblk
```
Un résultat comme suit apparaît :
![](guix_07.png)
2024-07-09 16:15:18 +02:00
13. On cherche alors le nom du disque local. Si vous ne voyez que `sda` c'est la clé USB. Votre disque peut s'appeler `nvme0n1`, et dans ce cas c'est un nvme. Lancez la commande d'installation en indiquant votre disque. Par exemple, avec un nvme :
2024-07-08 16:20:57 +02:00
```
2024-07-09 16:15:18 +02:00
chmod +x install.sh
./install.sh /dev/nvme0n1
2024-07-08 16:20:57 +02:00
```
2024-07-08 15:09:46 +02:00
2024-07-09 16:15:18 +02:00
14. Redémarrer l'appareil.
2024-07-08 17:05:01 +02:00
### Configuration d'OpenVPN
2024-07-09 16:16:27 +02:00
15. Après redémarrage, connexion à la session, on ouvre un terminal.
2024-07-08 17:05:01 +02:00
On créé le fichier d'identifiants d'OpenVPN pour FDN :
```
sudo nano /etc/openvpn/fdn.creds
```
2024-07-09 16:16:27 +02:00
16.. Dans ce fichier, on insère les identifiants du VPN tels que décrits sur [le SI de FDN](https://vador.fdn.fr).
2024-07-08 17:05:01 +02:00
De plus, on récupère le fichier de certificat de FDN :
2024-06-25 19:04:01 +02:00
```
2024-07-08 17:05:01 +02:00
sudo wget https://www.fdn.fr/ca-vpn-fdn.crt /etc/openvpn/fdn.crt
```
### Enjoy ?
2024-07-08 15:09:46 +02:00
2024-07-09 16:15:18 +02:00
Pour gérer le VPN, c'est avec la commande `sudo herd <action> openvpn`