!rGlCMuXgAhgEpdvJUz:nixos.org

NixOS KDE

206 Members
57 Servers

Load older messages


SenderMessageTime
21 Aug 2025
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)sure, but how? Quantum computer evaluating all possible nix configs at once? 😆20:59:25
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)i mean, some simple heuristics would already help, like test rebuilds and seeing whether test configs still eval21:00:07
@grimmauld:grapevine.grimmauld.deGrimmauld (any/all)but a complete eval test as we have for packages is imo impossible21:00:26
@emilazy:matrix.orgemily I mean if you have mkIf x y 21:02:28
@emilazy:matrix.orgemily then y gets included in the intermediate results 21:02:34
@emilazy:matrix.orgemilyit is more structured than completely raw language conditionals, you can see more branches at once21:02:55
@emilazy:matrix.orgemilyanyway, we don't need to test every combination, we don't for packages either21:03:10
@emilazy:matrix.orgemilyit's just NixOS tests are expensive for spot-checking21:03:18
@emilazy:matrix.orgemily(I bet we could do a model checker thing for complete coverage. a thing that is famously not expensive)21:03:41
@emilazy:matrix.orgemily K900: why do we need the Qt 5 thing 21:07:43
@emilazy:matrix.orgemilyI guess just because Qt 5?21:07:52
@k900:0upti.meK900 ⚡️Yes21:08:01
@k900:0upti.meK900 ⚡️I am cooking21:08:03
@k900:0upti.meK900 ⚡️Let me cook21:08:04
@emilazy:matrix.orgemily🍳21:08:13
@emilazy:matrix.orgemilydrop qt 5 when21:08:17
@emilazy:matrix.orgemilyhow much of it is there even left21:08:23
@emilazy:matrix.orgemily is it intentional to have plasma5Packages = libsForQt5; 21:10:34
@emilazy:matrix.orgemily in not even aliases.nix 21:10:36
@k900:0upti.meK900 ⚡️Yes21:10:43
@k900:0upti.meK900 ⚡️Well21:10:45
@emilazy:matrix.orgemilyused by like 5 things21:10:46
@k900:0upti.meK900 ⚡️"Intentional"21:10:46
@k900:0upti.meK900 ⚡️As in stupid21:10:48
@emilazy:matrix.orgemily
pkgs/applications/audio/playbar2/default.nix
35:    description = "Mpris2 Client for Plasma5";

snuck under the radar… it's getting away…

21:11:16
@k900:0upti.meK900 ⚡️Weirdly that's fine actually21:11:49
@k900:0upti.meK900 ⚡️plasma-framework is still there21:11:54
@k900:0upti.meK900 ⚡️Because for Stupid Legacy Reasons in 5 it's in Frameworks, not Plasma21:12:02
@emilazy:matrix.orgemilyok there's like >200 packages still using Qt 5. I don't know what I expected21:12:09
@emilazy:matrix.orgemily pkgs/by-name/wh/where-is-my-sddm-theme/package.nix 21:12:27

Show newer messages


Back to Room ListRoom Version: 9