Je suis passé par une installation manuelle, car l'installateur renvoyait sans cesse des erreurs lors de l'installation du chargeur de démarrage.
Consultez la documentation pour plus de détails.
Cette page recense les différentes étapes pour installer Void Linux quand le secure boot est actif.
Dans un premier temps, on va charger la disposition d'un clavier AZERTY, et changer le shell (par défaut c'est /bin/sh 1)).
1. Changement de la disposition du clavier
loadkeys fr-latin9
2. /bin/sh → /usr/bin/bash
exec bash
Si l'ordinateur est relié à la box via un câble RJ45, on vérifie que le serveur dhcpcd est actif.
sv status dhcpcd
Pour lister les interfaces réseaux, ip address. Si l'on souhaite en activer une :
ip link set up ...
Il faut remplacer … par le nom de l'interface réseau désiré.
La commande ping est utile pour vérifier que le réseau est fonctionnel.
Le disque dur a une capacité de 500G. Pour supprimer les éventuelles partitions et la table de partition, il faut exécuter la commande suivante :
cfdisk -z /dev/sda
La table de partition est définie sur gpt (c'est obligatoire en UEFI).
Le tableau ci-dessous montre les différentes partitions avec leur taille.
Ensuite on formate les différentes partitions.
mkswap -L swap /dev/sda3 swapon /dev/sda3
1. /boot/efi
mkfs.vfat -F32 /dev/sda1
2. /
mkfs.ext4 -L root_fs /dev/sda2
3. /home
mkfs.ext4 -L home_fs /dev/sda4
Dans cette étape nous allons mettre en place le système.
mount /dev/sda2 /mnt mkdir /mnt/dev mount --rbind /dev /mnt/dev mkdir /mnt/proc mount --rbind /proc /mnt/proc mkdir /mnt/sys mount --rbind /sys /mnt/sys mkdir /mnt/run mount --rbind /run /mnt/run
On a également besoin des 2 autres partitions (/boot/efi et /home) pour la génération du fichier /etc/fstab.
mkdir -p /mnt/boot/efi mount /dev/sda1 /mnt/boot/efi mkdir /mnt/home mount /dev/sda4 /mnt/home
On va définir 2 variables :
Il est préférable d'utiliser un miroir, une liste est disponible ici.
J'ai choisi, un situé en Allemagne.
ARCH="x86_64" REPO="https://repo-de.voidlinux.org/current" mkdir -p /mnt/var/db/xbps/keys cp /var/dbxbps/keys/* /mnt/var/db/xbps/keys/ cp /etc/resolv.conf /mnt/etc XBPS_ARCH=$ARCH xbps-install -S -r /mnt -R "$REPO" base-sytem grub-x86_64-efi efibootmgr
On peut désormais lancer le chroot et commencer la configuration du système.
chroot /mnt /bin/bash