I have these lines in configuration:
sound.enable = true; hardware.pulseaudio.enable = true;
Recently I performed a hard shutdown (pressing and holding the power button) and I think that might have caused this issue. Pulseaudio doesn’t start at boot and audio starts working if I start the server manually. No package management operations were active when I did the hard shutdown. I’m using samsung 970 evo.
How do I diagnose nixos generated audio configuration? How do I discard the cache and completely rebuild the system configuration?