I was attempting use NixOS on my laptop the other day, and I was able to install everything just fine, however I ran into an issue that I couldn’t figure out through the documentation.
My laptop has a hardware issue with the keyboard, where it will not work upon booting, that is: no keys work, the LEDs don’t light up, nothing. Sometimes it will start working after a few key presses, sometimes it won’t work for an hour.
The solution that I’ve defaulted to after a ton of research has been to set my bootloader (usually grub) command line to include i8042.dumbkbd=1
, which essentially gets rid of the problem, although it causes the LEDs to stop working, at least I can use my laptop.
Since NixOS has an immutable filesystem, I can’t just edit /etc/default/grub
like I usually would. And after searching through all of the documentation for grub related settings (the ones that are available with in your configuration.nix
file), I was unable to find a solution for persistently setting my grub command line.
I of course could avoid the issue by manually editing my grub command line every single time I boot my laptop, but I hope you all can understand that I’m not interested in doing that.
If anyone can help me out/point me in the right direction, I’d really appreciate it. Thank you!