Salut à tous !
J'ai l'impression que c'est un peu le bordel dans mes channels.
Déjà, si je fais nix-channel --list, j'ai :

nixpkgs https://nixos.org/channels/nixpkgs-unstable

Mais la même commande en sudo, j'ai :

nixos https://channels.nixos.org/nixos-23.11
nixos-hardware https://github.com/NixOS/nixos-hardware/archive/master.tar.gz
nixos-unstable https://nixos.org/channels/nixos-unstable
nixpkgs https://nixos.org/channels/nixpkgs-unstable
unstable https://nixos.org/channels/nixpkgs-unstable

Pourquoi cette différence ? 3x le lien nixpkgs-unstable, c'est normal ?
Dans configuration.nix, j'ai la ligne :

  _module.args.unstablePkgs = import <nixos-unstable> { config.allowUnfree = true; };

J'ai peut-être du ménage à faire non ?

Mais du coup, à quoi sert sudo nixos-rebuild switch --upgrade ?

c'est un raccourci pratique mais pas une obligation

Et est-ce qu'il est possible d'upgrader seulement un packet en particulier ?

dans certains cas, oui https://nixos.wiki/wiki/FAQ#How_can_I_install_a_package_from_unstable_while_remaining_on_the_stable_channel.3F

In reply to @pnmadelaine:matrix.org
hello, je suis en train de travailler sur https://github.com/NixOS/nixpkgs/pull/275924 qui fix un issue avec fstar introduit entre la 23.05 et la 23.11, est-ce que je dois ajouter moi-même le tag pour backport ou ce n'est pas à moi de décider ? cc raitobezarius comme tu avais parlé du processus de release au dernier meetup, mais je ne suis plus sûr de ce que tu recommandais !

deux détails en plus :

• F* en lui-même est utilisable, mais la librairie ocaml qui vient avec ne l'est pas (elle n'est tout simplement pas installée au bon endroit), est-ce que ça peut être considéré critique ?
• normalement mes derniers commits répondent au commentaire à propos de l'autre PR (j'attends de tester, c'est pour ça que c'est encore WIP)

deux détails en plus :

• F* en lui-même est utilisable, mais la librairie ocaml qui vient avec ne l'est pas (elle n'est tout simplement pas installée au bon endroit), est-ce que ça peut être considéré critique ?
• normalement mes derniers commits répondent au commentaire à propos de l'autre PR qui selon moi devrait être fermée au profit de celle-ci (j'attends de tester, c'est pour ça que c'est encore WIP)