| 20 Dec 2023 |
 ManUtopiK | Aussi, je ne comprends pas bien le système d'update et d'upgrade avec nixos.
Si je fais nix-channel --update && sudo nixos-rebuild switch, ça update, mais le switch passe sans rien faire. J'ai l'impression que j'ai updaté le channel de mon user et pas en sudo. Du coup, j'ai fait sudo nix-channel --update && sudo nixos-rebuild switch. Et là ça à bien mis à jour mes applis.
Mais du coup, à quoi sert sudo nixos-rebuild switch --upgrade ?
Et est-ce qu'il est possible d'upgrader seulement un packet en particulier ? | 19:37:21 |
 symphorien | oui c'est normal que chaque utilisateur ait un ensemble de channels distincts | 22:49:34 |
| symphorien | un cas d'usage de nix est de permettre aux utilisateurs non privilégiés d'installer certains logiciels eux-mêmes, ce qui n'est pas possible avec apt par exemple | 22:50:18 |
| symphorien | dans ce cadre c'est important qu'ils puissent avoir leurs propres channels | 22:50:31 |
| symphorien |
Mais du coup, à quoi sert sudo nixos-rebuild switch --upgrade ?
c'est un raccourci pratique mais pas une obligation | 22:51:20 |
| symphorien |
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 | 22:52:23 |
| symphorien | note: avoir un channel qui s'appelle nixos et un autre qui s'appelle nixpkgs est confusant, parce que pour des raisons de compatiblité avec un passé lointain, <nixpkgs> sur nixos est un alias pour <nixos>. | 22:55:35 |
| symphorien | tu dois avoir tous ces channels en double parce que tu as essayé des commandes nix-channel | 22:56:16 |
| 21 Dec 2023 |
| ManUtopiK | OK. Merci symphorien pour les explications ! Je vais faire du ménage... | 11:33:16 |
| 22 Dec 2023 |
 Paul-Nicolas Madelaine | 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 ! | 13:33:41 |
 raitobezarius | 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 ! là c'est un cas subtil | 13:48:02 |
| raitobezarius | c'est pas clair pour moi si ça casse plus de choses que ça en répare | 13:48:09 |
| raitobezarius | ou si ça répare quelque chose de critique qui rend F* inutilisable | 13:48:15 |
| raitobezarius | et vu que qq un commente juste après en disant que ça marche pas aussi bien que <autre PR>, ça rend le tableau compliqué à analyser | 13:49:00 |
| raitobezarius | dans ce genre de cas, on évite de backport sauf si c'est explicitement méga broken dans les versions précédentes | 13:49:13 |
| Paul-Nicolas Madelaine | 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)
| 13:51:11 |
| Paul-Nicolas Madelaine | merci pour ta réponse en tout cas ! | 13:52:03 |
| Paul-Nicolas Madelaine | * 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)
| 13:55:17 |
| symphorien | note que c'est possible de mettre le tag après que ça a été mergé, donc il est possible de demander "je voudrais que ce soit backporté, ça vous va" dans la PR et de décider en fonction des réponses plus tard | 15:35:55 |
|  ☮ 🐟 Fanch The System (Le Faux) 🖕 left the room. | 15:50:06 |
 seb95 | Bonsoir le monde ;-D | 16:47:17 |
| seb95 | je me permets de vous ennuyer, car de un je commence doucement avec Nixos, bien que je l'ai testé et apprécié dans le passé, le soucis c'est que je cherche mais je ne trouve plus mes réponses | 16:48:19 |
| seb95 | nix build ne marche pas chez moi, j'ai ajouté ##Commandes Experimentales
nix.settings.experimental-features = [ "flakes" "nix-command" ]; | 16:49:27 |
| seb95 | il y avait aussi nix search qui ne voulais rien savoir en me disant d'activer .settings.experimental-features nix-command" | 16:50:17 |
| seb95 | bon maintenant ça court, ça c'est réglé | 16:50:35 |
| seb95 | mais build non; je rate quelque chose? | 16:50:48 |
| seb95 | je suis avec la 23.11 | 16:51:32 |
 bew | Bienvenu!
Quel erreur as tu avec nix build ? | 16:52:01 |
| seb95 | ah c'est une bonne question, je te fais ça de suite | 16:52:23 |
| seb95 | Bon, déjà je télécharge les sources des paquets, ensuite je vais dans /nipkgs | 16:53:12 |
