Journal NixOS vs Guix System, premiers pas

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
23
3
déc.
2020

NixOS et Guix System sont des distributions Linux basées sur des gestionnaires de paquets utilisant une approche fonctionnelle (Nix et GNU Guix). Cette approche permet de gérer des environnements logiciels reproductibles et composables, ce qui est très pratique pour un développeur ou pour un administrateur système.

Cet article ne compare pas vraiment NixOS et Guix System mais présente, pour les deux solutions, comment installer le système, le configurer et l'utiliser pour développer. L'idée est plutôt d'aider un utilisateur de l'un (…)

Journal Les rollbacks avec NixOS, ou comment casser son système

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
16
23
nov.
2020

Voir aussi : video youtube - video peertube - article de blog

Une distribution Linux "rolling release" permet de faire évoluer progressivement son système. Ceci permet d'avoir des logiciels plus à jour et surtout d'éviter les montées de version majeure.

Cependant, le rolling release augmente le risque de "mise-à-jour qui casse tout". Une solution classique à ce risque est de lire les news de mise-à-jour, faire un snapshot avec Timeshift, lancer la mise-à-jour après avoir tirer une carte chance et (…)

Forum général.petites-annonces Dell Precision 7510

Posté par  . Licence CC By‑SA.
Étiquettes :
3
19
oct.
2020

Bonjour à tous !

J'me suis acheté un gros l'ordinateur pour mes études.
J'en avais besoin pour mes modules de recherche opérationnelle et de machine learning.
Maintenant que c'est terminé, je suis repassé sur un petit truc bien plus modeste et du coup je cherche à revendre cette grosse machine.
C'est un dell precision 7510.
Il dispose de 64GB de RAM, d'un CPU i7-6920HQ, d'un GPU NVIDIA M2200, d'un SSD de 512GB et d'une dalle en résolution 3840x2160 (4k ?) (…)

Journal Pourquoi j'ai installé Fedora et considérations banales d'un débutant

Posté par  (Mastodon) . Licence CC By‑SA.
21
28
juil.
2020

Après avoir installé Slackware sur notre Dell Inspiron 1501, j’ai installé Fedora sur notre autre PC portable, un Inspiron 17R N7110. J’ai en effet remarqué qu’avec la bibliothèque de l’université où j’enseigne, j’avais accès à plein de livres électroniques dont Beginning Fedora Desktop. Il eut été dommage de lire ce livre sans le mettre en pratique, non ? Cela m’a permis de confirmer que le style de Kiki Novak (auteur du livre qui m’a incité à installer (…)

Présentation de Fedora Silverblue

Posté par  (site web personnel) . Édité par bubar🦥, Davy Defaud, Laurent Pointecouteau et ZeroHeure. Modéré par ZeroHeure. Licence CC By‑SA.
59
7
mai
2020
Fedora

Fedora Silverblue tente d’établir un système fonctionnel conciliant Fedora Workstation, la version bureautique de la distribution éponyme, et le projet Atomic. Cette déclinaison de Fedora commence à monter en puissance en termes de développement depuis quelque temps, et nous réalisons que pour beaucoup de personnes extérieures ce projet reste très flou, tant dans ses objectifs que sur les implications techniques.

L’objet de cet article est de retracer rapidement l’histoire d’Atomic et de Fedora Silverblue avant d’évoquer les détails de fonctionnement de celui‑ci.

Logo de Silverblue

Journal Gestion de paquets et DevOps avec Nix, tour d'horizon sur un cas concret

Posté par  (site web personnel) . Licence CC By‑SA.
26
23
jan.
2020

Nix et GNU Guix sont des gestionnaires de paquets "fonctionnels", au sens de la programmation fonctionnelle. Cette approche de la gestion de paquets est très différente de l'approche habituellement utilisée par les sytèmes Linux ou BSD, à base de collections de ports ou de dépôts de paquets.

Cette approche fonctionnelle apporte de nombreux avantages. Non seulement elle permet de fournir une gestion de paquet fiable, reproductible, multi-version et multi-utilisateur, mais apporte également de nombreuses fonctionnalités supplémentaires : gestion d'un environnement (…)

Journal Flatpak et Nix

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
18
26
déc.
2019

Flatpak est un "système de construction et de déploiement d'applications de bureau sur Linux". C'est un outil assez similaire à Snap et à AppImage, les fameux "gestionnaires de paquets universels". Ces gestionnaires de paquets sont censés apporter deux avantages principaux :

  • permettre à un utilisateur normal d'installer des logiciels, qui ne sont pas forcément fournis par la logithèque de sa distribution;

  • permettre à un développeur de packager un logiciel facilement pour tout un ensemble de distributions Linux.

Il existe (…)

Journal Configurer VSCode pour Haskell (Debian/Nix/NixOS)

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
14
25
déc.
2019

Comme beaucoup de langages de programmation, Haskell n’a pas d’environnement de développement officiel ni même consensuel. Cependant, il existe différentes configurations classiques : Emacs + Intero/Dante, Vim + Ghcid, IntelliJ-Haskell…

Depuis quelque temps, l’éditeur de texte Visual Studio Code propose un environnement intéressant pour développer en Haskell, notamment couplé à HIE et à Stack. Cette configuration apporte les principales fonctionnalités d’un IDE : coloration syntaxique, navigation de code, compilation, documentation, auto‑complétion… Cependant, l’installation de ces outils n’est pas complètement triviale (…)

Journal Gérer son environnement utilisateur NixOS, avec Home-manager

Posté par  (site web personnel) . Licence CC By‑SA.
17
11
nov.
2019

Home-manager est un outil qui permet de gérer son environnement utilisateur : environnement de bureau, thème de fenêtre, thème d'icones, logiciels, paramètres des logiciels, services utilisateur, "dot files"…

Home-manager est prévu pour fonctionner sur la distribution linux NixOS et utilise le gestionnaire de paquets Nix.

code source - vidéo youtube - vidéo peertube

Présentation de home-manager

Pour faire simple, le but de home-manager est de fournir l'équivalent du fichier /etc/nixos/configuration.nix mais pour l'environnement utilisateur (au lieu de l'environnement système) (…)

Journal Cachix, un service de cache binaire basé sur Nix

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
16
10
nov.
2019

Cachix permet de gérer facilement un cache personnel de paquets binaires. Concrètement, il s'agit d'un service de cloud et d'un logiciel client, le tout basé sur le gestionnaire de paquets Nix. Cachix propose différentes offres, dont une offre gratuite de 10 Go de stockage en accès public.

Quand on utilise la logithèque officielle de Nix, on télécharge des paquets binaires déjà compilés. Nix permet très facilement d'empaqueter des programmes/bibliothèques personnels ou de modifier les paquets officiels. Mais dans (…)

Journal Dino, le client XMPP, est disponible sur plusieurs distributions GNU/Linux

Posté par  . Licence CC By‑SA.
20
23
fév.
2019

Bonjour nal.

Un tout petit billet pour te parler de Dino, un excellent client de messagerie utilisant le protocole XMPP.

Il est désormais disponible sur plusieurs distributions GNU/Linux, et pas des moindres:

  • Fedora, nom de paquet: dino
  • Debian ≥ 10: dino-im
  • Gentoo: net-im/dino
  • NixOS ≥ 18.03: dino
  • Ubuntu ≥ 18.04: dino-im
  • Arch Linux: dino-git sur AUR

Si des personnes souhaitent le packager pour d'autres distributions, ou aider au portage vers d'autres OS (*BSD, Windows, Mac OS…), qu'ils n'hésitent pas. ;)

(…)

Journal le style fonctionnel en vidéo (nix, nixos, haskell...), la suite...

14
29
juin
2018

Bon bah, j'ai continué les vidéos du journal précédent (https://linuxfr.org/users/nokomprendo-3/journaux/le-style-fonctionnel-en-videos-nix-nixos-haskell).

Au passage, je suis passé sur framagit et j'ai ajouté un formatage plus propre des articles via hakyll (https://nokomprendo.frama.io/tuto_fonctionnel).

Les nouveaux sujets :
- Personnaliser une image Docker de NixOS pour de l'intégration continue
- Déployer un blog avec Hakyll, Gitlab-ci, Nix
- Nix, programmation et loi de Murphy
- Créer et partager des paquets Nix
- Archlinux vs Voidlinux
- Migrer un système NixOS (de (…)

Journal Créer et partager des paquets Nix

Posté par  (site web personnel) . Licence CC By‑SA.
14
26
avr.
2018

Suite aux différents journaux sur la création de paquets, voici quelques astuces pour Nix/Nixos.

article original sur github

vidéo bonux sur youtube

Introduction

Comment créer un paquet nix pour gérer une dépendance dans un projet.
Comment gérer des paquets nix via un dépôt git.

Créer un paquet localement

On développe un projet et on a besoin d'une bibliothèque (par exemple, myhellolib).

  • écrire un fichier empaquetant la dépendance test_myhellolib1/myhellolib.nix :
{ stdenv, fetchurl, cmake }:

stdenv.mkDerivation 
(…)