Sélectionner une page
Formations DevOps CI CD Formation NixOS : Systèmes déclaratifs et reproductibles

Formation NixOS : Systèmes déclaratifs et reproductibles

Formation NixOS

Prix 1400€ HT / personne
2 jours (14 heures)

Paris | Classe Virtuelle

Dernières places Virtuelle uniquement
Cafés et déjeuners offerts en interentreprises
Disponible en intra-entreprise pour former votre équipe
Aide au Financement 4000€ de Bonus Atlas en CPF

Présentation

La formation NixOS vous présentera cette distribution Linux fondée sur le gestionnaire de paquets Nix multiplateforme. Vous découvrirez son paradigme de fonctionnement différent grâce à sa reproductibilité et déclarativité ainsi qu’une première approche de Nix et des environnements de développement portables.

Lors de cette formation, l’installation, la configuration et la mise à niveau de NixOS vous sera enseigné pour que vous soyez prêt à utiliser ces solutions sans rencontrer de problèmes majeurs.

Devenez capable de reproduire en intégralité un système sur une autre machine ou de contrôler des dépendances pour réduire au maximum le volume des applications. Apprenez également le langage Nix pour décrire les paquets, les configurations ainsi que leurs variantes et leurs compositions.

Cet enseignement vous sera présenté avec la dernière version de NixOS : NixOS 24.05 (Uakari).

 

Objectifs

  • Élaboration d’un ISO
  • Contrôler les différents types de paquets
  • Comprendre les atouts de NixOS: Reproductibilité et déclarativité
  • Écriture d’un module NixOS
  • Connaître la reproductibilité d’un système

 

Public visé

  • Administrateurs systèmes Linux
  • Développeurs

 

Pré-requis

Connaissances Linux générales.

 

Pré-requis logiciels

  • Possibilités de virtualisation (Virtualbox par exemple) avec 4Go pour le guest
  • Lien de l’ISO Nixos
  • Un compte GitHub pourra être utile, mais n’est pas nécessaire

Programme de notre formation NixOS

 

Introduction et concepts de base

  • Fonctionnement classique des paquets sur Linux
    • Paquet et gestionnaire de paquet sur Linux
    • Gestion des dépendances et des conflits
    • Limitations (reproducibilité, impérialisme, multiples versions…)
  • Introduction à NixOS
    • Historique de NixOS
    • Principe de fonctionnement et différences avec les autres distributions Linux
    • Gestion des paquets et environnement de développement reproducible
  • Concepts de base de Nix
    • Présentation du langage de gestion des paquets Nix
    • Les concepts de base : Store Nixderivationsexpressions Nix
  • Installation de NixOS
    • Installation de NixOS sur une machine virtuelle
    • Définition d’une configuration système via /etc/nixos/configuration.nix
    • Création d’une première configuration avec des paquets et services de base (par exemple, SSH, Git, Vim)
    • Construction et activation de la configuration

 

Gestion des paquets avec Nix

  • Nix et le langage Nix
    • Principe du nix-env pour la gestion d’environnement utilisateur hors NixOS
    • Nix repl et nixpkgs
  • Environnements de développement reproducibles
    • Les fichiers shell.nix et default.nix
    • Créer des environnements de développement spécifiques à un projet (projet Python par exemple)

 

Configuration avancée de NixOS

  • Configuration du système avec NixOS
    • Décomposition du fichier de configuration /etc/nixos/configuration.nix
    • Ajout de services et gestion des utilisateurs
    • Mise en place de services système (par exemple : Nginx, Docker, Dolibarr…)
  • Comprendre les overlays et les options avancées
    • Les overlays pour étendre et personnaliser les paquets
    • Utilisation des modules NixOS
    • Création d’une configuration modulaire en séparant des fichiers Nix
  • Maintenance de NixOS
  • Gestion des versions et rollback
    • Mise à jour et gestion des versions des configurations système
    • Revenir à une configuration précédente grâce à l’historique immuable
    • Nettoyage du NixStore
    • Channels NixOS
  • Quelques fonctionnalités pratiques
    • Création en une commande de VM clones pour test
    • Différentes méthodes de switch de configuration
    • search.nixos
    • NixOps

Pour aller plus loin

 

Formation Linux RT

Formation C++ Moderne

Formation C++ 20

Langues et Lieux disponibles

Langues

  • Français
  • Anglais / English

Lieux

  • France entière
    • Paris
    • Lille
    • Reims
    • Lyon
    • Toulouse
    • Bordeaux
    • Montpellier
    • Nice
    • Sophia Antipolis
    • Marseille
    • Aix-en-Provence
    • Nantes
    • Rennes
    • Strasbourg
    • Grenoble
    • Dijon
    • Tours
    • Saint-Étienne
    • Toulon
    • Angers
  • Belgique
    • Bruxelles
    • Liège
  • Suisse
    • Genève
    • Zurich
    • Lausanne
  • Luxembourg

Témoignages

18 octobre 2024

Les + : Formateur compétent sur le sujet

Sujet vaste et (potentiellement) complexe : cette introduction permet de bien aborder les différentes problématiques

Les – : Questionnaires d’évaluation pré-formation et post-formation non pertinents par rapport au programme

Frédéric G. de chez IMT Atlantique

Afficher tous les témoignages

18 octobre 2024

Les + : Formateur compétent sur le sujet

Sujet vaste et (potentiellement) complexe : cette introduction permet de bien aborder les différentes problématiques

Les – : Questionnaires d’évaluation pré-formation et post-formation non pertinents par rapport au programme

Frédéric G. de chez IMT Atlantique

Noter la formation

Prix 1400€ HT / personne
2 jours (14 heures)

Paris | Classe Virtuelle

Dernières places Virtuelle uniquement
Cafés et déjeuners offerts en interentreprises
Disponible en intra-entreprise pour former votre équipe
Aide au Financement 4000€ de Bonus Atlas en CPF

UNE QUESTION ? UN PROJET ? UN AUDIT DE CODE / D'INFRASTRUCTURE ?

Pour vos besoins d’expertise que vous ne trouvez nulle part ailleurs, n’hésitez pas à nous contacter.

ILS SE SONT FORMÉS CHEZ NOUS

partenaire sncf
partenaire hp
partenaire allianz
partenaire sfr
partenaire engie
partenaire boursorama
partenaire invivo
partenaire orange
partenaire psa
partenaire bnp
partenaire sncf
partenaire hp
partenaire allianz
partenaire sfr
partenaire engie
partenaire boursorama
partenaire invivo
partenaire orange
partenaire psa
partenaire bnp