Nix ♥ la francophonie | 207 Members | |
| Salon francographe de NixOS | 69 Servers |
| Sender | Message | Time |
|---|---|---|
| 18 Dec 2023 | ||
| Je trouve ça d'ailleurs intéressant que par exemple Twitch dépend sur IRC mais ne collabore pas des masses AFAIK pour développer IRC | 14:11:22 | |
| Ils font juste leurs trucs custom | 14:11:26 | |
In reply to @raitobezarius:matrix.orgPerso je doute sur le fait que ça freine le développement des alternatives libres qui interop et il y a quelques exemples où les gros acteurs ont in fact contribués des features assez importantes au protocole open. Le fait d'attirer une certaine userbase puis de rug-pull c'est un autre problème, mais imo l'userbase en question aurait en général pas adopté l'alternative libre autrement, donc au final ça délaie surtout un problème qui était là à la base. | 14:15:17 | |
| (un des exemples les plus prominent de gros acteurs qui contribuent des features importantes c'est https://xmpp.org/extensions/xep-0166.html qui vient de Google) | 14:16:14 | |
| right ; je connais pas XMPP mais il a contribué ça dans la spec, pas dans des implems clientes, si? (à la limite sûrement dans prosody je présume?) | 14:17:30 | |
| aucune idée, mais c'est un peu moving the goalposts de dire que contribuer à la spec mais pas contribuer aux implémentations open (que Google n'utilise évidemment pas) ça compte pas :) | 14:19:01 | |
In reply to @delroth:delroth.net(also l'argument du rug-pull peut IMHO pas être discuté sans prendre en compte aussi l'effet inverse : combien de gens ont essayé XMPP pour la première fois parce qu'ils étaient utilisateurs de GTalk ou autre et qu'ils pouvaient du coup essayer l'alternative libre sans avoir un gros network effect en leur défaveur ? combien de ces utilisateurs sont restés sur XMPP et auraient juste pas considéré la chose sans cette onboarding ramp ?) | 14:26:24 | |
| on est d'accord | 14:26:48 | |
In reply to @delroth:delroth.netdésolé pour le moving de goal posts mais je trouve que le spec writing c'est un peu piégeux imho | 14:27:10 | |
| genre je suis d'accord que Google a contribué des specs importantes | 14:27:22 | |
| mais plus que des specs en général, tu as qd même envie d'avoir des resources d'ingénieur pour impl des trucs dans les stacks open source +- canoniques | 14:27:40 | |
| genre comme IRCCloud sauf que Google ça a pas le même nb d'ingénieurs que IRCCloud | 14:28:09 | |
| mais c'est my 2 cents d'expérience dans IRCv3 | 14:28:21 | |
| je ne sais pas si c'est valide pour XMPP :) | 14:28:36 | |
In reply to @delroth:delroth.netright | 14:28:47 | |
| on est d'accord | 14:28:49 | |
| 20 Dec 2023 | ||
| Salut à tous !
Mais la même commande en sudo, j'ai :
Pourquoi cette différence ? 3x le lien nixpkgs-unstable, c'est normal ?
J'ai peut-être du ménage à faire non ? | 19:30:48 | |
| 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 | |
| oui c'est normal que chaque utilisateur ait un ensemble de channels distincts | 22:49:34 | |
| 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 | |
| dans ce cadre c'est important qu'ils puissent avoir leurs propres channels | 22:50:31 | |
c'est un raccourci pratique mais pas une obligation | 22:51:20 | |
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 | |
| 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 | |
| tu dois avoir tous ces channels en double parce que tu as essayé des commandes nix-channel | 22:56:16 | |
| 21 Dec 2023 | ||
| OK. Merci symphorien pour les explications ! Je vais faire du ménage... | 11:33:16 | |
| 22 Dec 2023 | ||
| 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 | |
In reply to @pnmadelaine:matrix.orglà c'est un cas subtil | 13:48:02 | |
| c'est pas clair pour moi si ça casse plus de choses que ça en répare | 13:48:09 | |
| ou si ça répare quelque chose de critique qui rend F* inutilisable | 13:48:15 | |