59
you are viewing a single comment's thread
view the rest of the comments
[-] arcterus@piefed.blahaj.zone 19 points 16 hours ago* (last edited 15 hours ago)

I'm gonna be honest, I use NixOS, but the docs fucking suck, and a number of things are just broken in nixpkgs. For instance, I recently discovered the structuredExtraConfig option for patching the kernel straight up does not work. This means you cannot unset any kernel options, which means some kernel patches won't work unless you manually supply the entire kernel config.

EDIT: what's even more annoying about it not working is that it fails to apply silently. In other words, your kernel tries to compile and then an hour later it fails because your config changes weren't applied.

[-] Laser@feddit.org 2 points 15 hours ago

For instance, I recently discovered the structuredExtraConfig option for patching the kernel straight up does not work. This means you cannot unset any kernel options

From reading, I thought this option was for adding options, not removing them. Sure, you might be able to set options to "no", but I don't think this will override the defaults...

[-] arcterus@piefed.blahaj.zone 6 points 15 hours ago

You're supposed to be able to use lib.kernel.unset to unset them. In any case, that's just one problem. The main issue is the entire option is ignored because of a typo in nixpkgs.

[-] smiletolerantly@awful.systems 4 points 15 hours ago

Would you mind opening a PR to fix that typo? Would be useful for others as well!

[-] arcterus@piefed.blahaj.zone 9 points 15 hours ago* (last edited 11 hours ago)

I'm planning to, I'm waiting for the kernel to finish building rn lol

EDIT: PR got merged BTW (https://github.com/NixOS/nixpkgs/pull/431115).

[-] ruffsl@programming.dev 1 points 3 hours ago

Thank you for your work!
I would not have liked encountering this bug in the wild.

[-] ikidd@lemmy.world 2 points 6 hours ago

K900 Commented 5 hours ago

Ooof.

lol

[-] smiletolerantly@awful.systems 2 points 15 hours ago

Haha, perfect 😄

[-] Laser@feddit.org 2 points 15 hours ago
this post was submitted on 04 Aug 2025
59 points (100.0% liked)

Linux

8785 readers
361 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago
MODERATORS