Nix, NixOS, et NixPIE
Bienvenue dans la semaine de formation qui traitera de NixPIE, projet au centre du fonctionnement du PIE1, l'un des plus grands parcs informatique d'Europe et probablement l'un des plus grands parcs NixOS du monde.
Pour ça nous aborderons le sujet de Nix, dont vous avez peut-être déjà entendu le nom, qui peut faire référence à la fois au langage Nix, au gestionnaire de paquet Nix, ou au diminutif de NixOS la distribution Linux.
Pour comprendre tout ça, ce cours abordera dans l'ordre :
- Le langage Nix : Le langage de programmation fonctionnel et pur, servant à manier Nix et NixOS
- Nix, le gestionnaire de paquet : un gestionnaire de paquet fonctionnel et pur pour les systèmes type UNIX
- NixOS : une distribution Linux construite autour de Nix
- Les Flakes : une nouvelle façon d'utiliser Nix
- NixPIE : la flake regroupant tous les outils utilisés pour faire fonctionner NixOS sur les PCs des salles machine d'EPITA
Certaines sections sont nommées "pour aller plus loin" ou notées comme étant des boni. Cela signifie qu'elles ne sont pas nécessaires à la maîtrise de NixPIE, notre objectif final, mais qu'elles pourraient quand même vous être utiles, ou vous aider à saisir tous les détails de son fonctionnement. Libre à vous de lire ces sections ou de les sauter, mais je vous conseille fortement de les lire au moins une fois.
- Parc Informatique de l'EPITA↩