Aller au contenu

Void Linux - Installation

Void Linux

Depuis quelque temps, je joue avec la distribution Void Linux, que je trouve plutôt bien fichue.

  • La distribution a été créée en 2008 par un développeur NetBSD.

  • Elle est développée de manière complètement indépendante.

  • Elle repose sur le système d'initialisation runit plutôt que systemd.

  • La documentation est excellente.

  • Elle tourne comme une flèche.

Travail en cours

Pour l'instant je suis en phase d'expérimentation dans une VM et sur un vieux PC bac à sable dans mon bureau. L'objectif consiste à configurer un poste de travail aux petits oignons qui tourne bien sur du matériel récent.

Je n'ai pas fini d'en faire le tour, mais le moment est venu de rassembler petit à petit mes notes succinctes.

ISO et clé USB

Je pars d'une image ISO minimale dans la mouture glibc :

  • void-live-x86_64-20250202-base.iso (~ 1 Go)

Je confectionne la clé USB :

# dd bs=4M if=void-live-x86_64-20250202-base.iso of=/dev/sdX
# sync

Démarrage

J'appuie sur Tab pour afficher et modifier les options de démarrage par défaut de GRUB.1

  • Disposition du clavier : vconsole.keymap=fr_CH-latin1

  • Résolution de la console : video=800x600

Void Linux

Je me connecte au système live :

void-live login: root

Le mot de passe est voidlinux.

Installation

Je lance l'installateur :

# void-installer

Le programme d'installation

L'installateur Ncurses a tout pour me plaire. Si vous avez déjà utilisé des systèmes comme Slackware ou FreeBSD, vous vous sentirez immédiatement à l'aise.

Void Linux

  • Clavier système : fr_CH-latin1

  • Réseau : DHCP

  • Source d'installation : paquets de l'ISO

  • Miroir : Europe > Helsinki

  • Nom d'hôte : voidbox

  • Localisation : fr_FR.UTF-8

  • Fuseau horaire : Europe/Paris

  • Utilisateur initial : microlinux (Microlinux)

  • Groupes par défaut pour l'utilisateur initial : wheel, floppy, audio, video, cdrom, optical, kvm, users, xbuilder.

  • Utiliser un terminal graphique pour le chargeur de démarrage : oui

  • Outil de partitionnement : cfdisk

  • Schéma de partitionnement : voir l'article détaillé

  • Terminal graphique pour GRUB : oui

  • Services activés : acpid, chronyd, dhcpcd, sshd, wpa_supplicant.

Redémarrage initial

Je remplace le shell Bourne par Bash pour le compte root :

# chsh
Changing shell for root.
New shell [/bin/sh]: /bin/bash
Shell changed.
# exit

J'autorise les connexions SSH pour root2 :

/etc/ssh/sshd_config
...
#LoginGraceTime 2m
PermitRootLogin yes
#StrictModes yes
#MaxAuthTries 6
#MaxSessions 10
...

Je prends en compte la configuration :

# sv restart sshd
ok: run: sshd: (pid 1251) 0s

Je mets à jour l'index des paquets :

# xbps-install -S

Je mets à jour le gestionnaire de paquets XBPS :

# xbps-install -u xbps

Je mets à jour le système :

# xbps-install -u xbps

Je redémarre :

# reboot

La suite au prochain numéro.

  1. E sur un système UEFI ↩

  2. Note pour les chipoteurs : c'est pour tester, hein. ↩