Qu'est-ce que Void Linux et comment l'installer

Void Linux est une distribution Linux qui vise à fournir un système d’exploitation puissant, mais facile d’accès. Il est conçu pour être à la fois simple et stable et y parvient grâce à l’utilisation de runit et de son propre gestionnaire de paquets léger.

Similaire à Arch Linux, Void Linux suit un modèle de « rolling release » et une approche « centrée sur l’utilisateur » dans l’utilisation du système d’exploitation. Cela signifie que Void Linux est constamment mis à jour, mais il est également minimaliste lorsqu’il est installé. Il rend Void Linux attrayant pour les utilisateurs avancés qui souhaitent avoir un système d’exploitation flexible qu’ils peuvent entièrement comprendre et modifier.

Table des matières

• Pourquoi utiliser Void Linux ?
• Téléchargement de Void Linux et préparation de l’installateur
• Installation de Void Linux
• L’installateur de Void Linux
• Configuration de l’utilisateur
• Configuration du chargeur de démarrage et des partitions
• Création des partitions
• Création des systèmes de fichiers
• Démarrer l’installation
• Questions fréquemment posées

À lire aussi : Comment utiliser AUR dans Arch Linux

Pourquoi utiliser Void Linux ?

Void Linux vise à garder le système d’exploitation simple. Son utilisation de runit comme système d’initialisation signifie que tous les scripts de service actuellement en cours d’exécution ne sont que des fichiers qui peuvent être vus dans le répertoire « /var/service/ », et ceux-ci peuvent facilement être ajoutés, modifiés ou supprimés dans « /etc/sv/ ».

De plus, Void Linux centralise également tous les paquets disponibles pour le système via le système de paquets binaires X (XBPS). Cela garantit que l’utilisateur n’a pas besoin d’installer des gestionnaires de paquets supplémentaires et qu’un outil accessible pour les paquets construits par l’utilisateur est également disponible. Dans l’ensemble, cela donne un système d’exploitation à la fois facile à entretenir, flexible et stable.

Téléchargement de Void Linux et préparation de l’installateur

Vous pouvez obtenir une copie de l’ISO de Void Linux ici et vous pourrez choisir entre deux saveurs : base et xfce. La première offre une installation sans environnement de bureau, tandis que la dernière est livrée avec XFCE.

Void Linux est également livré avec deux bibliothèques standard C : glibc et musl.

• Glibc (GNU C Library) est largement utilisé parmi les distributions Linux.
• Musl, quant à elle, est une implémentation plus simple de la même bibliothèque C, mais sa nouveauté signifie que tous les programmes ne fonctionneront pas correctement avec elle. Pour cet aperçu, nous allons télécharger l’image Live de Base avec glibc.

Une fois que vous avez une copie de l’installateur de Void Linux, vous aurez besoin de quelques éléments :

• Une clé USB d’au moins 4 Go ou plus
• Un moyen d’écrire l’installateur sur la clé USB

Écrire l’installateur sur la clé USB est un processus simple. Vous pouvez utiliser balenaEtcher, quelle que soit la plateforme que vous utilisez. Pour plus de détails sur la façon de créer une clé USB bootable avec Void Linux, suivez les instructions ici.

À lire aussi : Comment utiliser Rufus pour créer une clé USB bootable

Installer Void Linux

Avec la clé USB bootable, vous pouvez maintenant démarrer l’installateur de Void Linux via le menu de démarrage de votre BIOS. Insérez la clé USB dans votre ordinateur et démarrez-le. L’accès au menu de démarrage dépend largement de votre machine. F10 est la touche la plus couramment utilisée pour le menu de démarrage. Cependant, certains utilisent également F12 ou F2. Une fois dans le BIOS, sélectionnez démarrer à partir de la clé USB.

Une fois démarré, vous serez accueilli par le menu de démarrage de Void Linux. À partir de là, choisissez la première option. Cela vous chargera alors dans l’installateur live.

Vous devez vous connecter en tant que “root” avec le mot de passe “voidlinux”. Cela vous donnera des privilèges d’administrateur dans l’installateur live (Ne vous inquiétez pas, vous pourrez changer le mot de passe root plus tard).

À lire aussi : UEFI vs. BIOS : Lequel devez-vous utiliser

Optionnel : Activer le sans-fil

Une chose à noter cependant, si vous installez Void Linux via Wi-Fi, vous devrez taper la commande suivante pour initialiser une connexion sans fil :

wpa_passphrase "Le nom de votre point d'accès">>/etc/wpa_supplicant/wpa_supplicant.conf

Vous pourrez ensuite taper votre mot de passe sur la ligne vide qui suit, puis redémarrer le démon dhcp pour réinitialiser la connexion avec les identifiants de votre point d’accès.

sv restart dhcpcd

Pour vous assurer que vous avez initialisé la connexion avec succès, vous pouvez utiliser la commande ping pour pinger un site Web. Par exemple : maketecheasier.com.

ping-c5 maketecheasier.com

Si cela fonctionne, vous pouvez alors commencer le processus d’installation. Pour ce faire, tapez void-installer dans la ligne de commande.

À lire aussi : Comment réparer les paquets cassés sous Linux

L’installateur de Void Linux

Le menu principal de l’assistant d’installation met en évidence toutes les étapes que vous devez suivre. Nous commençons par le Clavier et avançons.

C’est ici que vous sélectionnerez la disposition de votre clavier. Si vous utilisez autre chose que le clavier standard américain, vous devrez le spécifier ici. J’utilise le clavier standard américain.

Après avoir sélectionné la disposition de votre clavier, l’assistant sélectionnera la prochaine étape : Réseau. Entrez dans celle-ci et vous pourrez choisir quel adaptateur réseau vous allez utiliser pour l’installation.

Si vous utilisez une connexion sans fil, il y aura une option nommée “wlp4s0” ou similaire. Sélectionnez cela, fournissez les identifiants de votre réseau sans fil et appuyez sur Entrée. J’utilise une connexion Ethernet, donc je vais sélectionner “enp0s3” et également activer DHCP.

L’étape suivante consiste à sélectionner l’endroit où l’installateur obtiendra ses paquets à installer. Pour obtenir les derniers paquets, sélectionnez Réseau.

Pour cette étape suivante, vous devrez fournir un nom d’hôte pour votre machine. Cela peut être n’importe quoi que vous voulez. Dans mon cas, je vais nommer la machine “maketecheasier.”

La locale est l’endroit où vous sélectionnerez le jeu de caractères de votre machine. Si vous utilisez une autre langue que l’anglais, vous devez le spécifier ici. Une chose importante à noter : si vous souhaitez avoir des symboles spéciaux, vous devez également sélectionner une locale UTF-8. Dans mon cas, je vais sélectionner “en_US.UTF-8”.

Pour l’étape du fuseau horaire, choisissez l’emplacement le plus proche de chez vous, car cela déterminera l’horloge de votre système.

Pour l’étape suivante, fournissez un mot de passe root pour la machine. Assurez-vous qu’il s’agit d’un mot de passe sécurisé.

Configuration de l’utilisateur

Pour le nom de connexion, vous devrez configurer votre compte utilisateur. La première invite demandera votre nom d’utilisateur. Vous l’utiliserez pour vous connecter.

L’assistant vous demandera de fournir un mot de passe pour votre compte utilisateur. Assurez-vous qu’il s’agit d’un bon mot de passe, différent du mot de passe root.

À l’étape suivante, sélectionnez dans quels groupes système vous souhaitez que votre compte utilisateur soit. L’installateur a déjà fourni des valeurs par défaut raisonnables, ce qui devrait suffire pour un usage quotidien. Appuyez sur Entrée pour continuer à l’étape suivante.

Configuration du chargeur de démarrage et des partitions

Pour le chargeur de démarrage, vous devrez sélectionner quel disque vous souhaitez installer le chargeur de démarrage. Sélectionnez votre disque en regardant la “taille” à droite des options et appuyez sur Entrée. Dans mon cas, c’est “/dev/sda”.

Pour l’étape de partitionnement, l’assistant demandera quel disque vous souhaitez partitionner pour l’installation. Sélectionnez le même disque que celui que vous avez choisi pour le chargeur de démarrage. Pour moi, c’est “/dev/sda”. L’assistant demandera ensuite quel outil vous souhaitez utiliser pour partitionner le disque. Sélectionnez “cfdisk”, car c’est plus simple et plus facile à utiliser.

Création des partitions

Si vous utilisez un disque vierge, cfdisk vous demandera un type d’étiquette. Sélectionnez “gpt”, car il est plus flexible et peut gérer des disques plus grands par rapport aux autres types d’étiquette.

La disposition des partitions pour cfdisk dépendra en grande partie de si vous utilisez un système UEFI ou un système BIOS. Pour un système UEFI, vous devrez créer quatre partitions.

Vous pouvez faire cela en sélectionnant l’“espace libre” avec les touches de curseur Haut et Bas et en utilisant les curseurs Gauche et Droit pour sélectionner “Nouveau”. Cfdisk vous demandera ensuite la taille de la partition que vous souhaitez créer.

• Pour la première partition, vous devrez en créer une de 1 Go.
• La deuxième partition doit avoir une taille de 200 Mo et un type de système EFI.

Vous pouvez faire cela en sélectionnant l’option “Type” avec la partition sélectionnée. Cfdisk vous proposera une sélection de types que vous pouvez choisir pour cette partition.

• La taille de la troisième partition dépendra de la taille de la RAM que votre machine possède. Si c’est moins de 5 Go, fournissez deux fois la quantité de RAM que vous avez. Par exemple, si votre machine a 4 Go de RAM, alors définissez la taille de la troisième partition à 8 Go.
• Pour tout ce qui dépasse 5 Go, fournissez la même taille que la quantité de RAM dans le système. Enfin, la troisième partition doit avoir un type swap Linux.
• Pour la dernière partition, allouez tout l’espace restant sur le disque.

Une fois cela fait, vous pouvez maintenant sélectionner l’option “Écrire” dans cfdisk et taper yes pour confirmer les partitions. Après cela, vous pouvez maintenant quitter cfdisk en sélectionnant Quit.

Création des systèmes de fichiers

Pour l’étape des systèmes de fichiers, vous allez créer les systèmes de fichiers pour les partitions que vous avez faites. L’assistant vous demandera un “Type de système de fichiers” lorsque vous sélectionnez une partition, et après cela, il vous demandera un “Point de montage.”

• Pour le premier, sélectionnez “ext2” comme type et entrez “/boot” pour le point de montage.
• Le deuxième sera de type “vfat” avec un point de montage de “/boot/efi.”
• Le troisième sera de type “swap” sans points de montage.
• Le dernier aura “ext4” comme type et “/” comme point de montage.

Démarrer l’installation

Avec tout cela fait, vous pouvez maintenant sélectionner l’option “Installer” dans le menu principal. L’installateur vous demandera de confirmer la configuration que vous avez faite. Sélectionnez “Oui.” Après cela, l’installateur téléchargera tous les fichiers nécessaires à l’installation de Void Linux.

Une fois le téléchargement terminé, il affichera un invité “OK”. Appuyez sur Entrée et l’assistant continuera avec le processus d’installation.

L’installation ne devrait pas prendre beaucoup de temps. Une fois terminée, l’assistant affichera un écran “Installation réussie”. Sélectionnez Oui pour redémarrer la machine sur Void Linux.

Félicitations ! Vous avez maintenant une installation de base de Void Linux. À partir de là, vous pouvez installer tout ce que vous souhaitez. Vous pouvez commencer avec certains environnements de bureau ou gestionnaires de fenêtres.

À lire aussi : 5 excellents outils AUR pour Arch Linux

Questions fréquemment posées

1. Je ne suis pas sûr de quand ma machine a été fabriquée. Y a-t-il un autre moyen de vérifier si mon système est UEFI ?

Oui ! Une fois que vous avez démarré l’installateur de Void Linux, vous pouvez vérifier le répertoire “/sys/firmware/efi/”. Ce répertoire n’existe pas dans les systèmes non-UEFI, donc si l’installateur de Void Linux a chargé cela, alors votre machine doit être un système UEFI.

2. Je viens de terminer l’installation, et quand j’ai redémarré et me suis connecté, je ne suis pas en ligne. Mon sans-fil est-il cassé ?

Vous devrez refaire la commande wpa_passphrase que nous avons discutée ci-dessus. Lorsque nous l’avons fait pour la première fois, nous le faisions dans l’installateur de Void Linux. Maintenant que nous avons notre propre installation, nous devrons le refaire afin que le système sache où se connecter.

3. Mon installation a échoué ! Il a dit : “ERREUR : échec de l’installation de GRUB sur /dev/sdX ! Vérifiez /dev/tty8 pour les erreurs.” Que devrais-je faire ?

Cela s’est produit parce que GRUB n’a pas été correctement installé dans le système. Cela pourrait arriver pour plusieurs raisons. Les plus courantes sont :

1. Vous avez adopté un schéma de partitionnement UEFI même si votre machine est un système BIOS et vice versa.
2. Lorsque vous créiez le schéma de partitionnement UEFI, vous avez créé la première partition en tant que “système EFI” au lieu de la deuxième.