PreDepends is more strict than Depends. It would make sure the headers are completely installed (not just unpacked/configured) https://www.debian.org/doc/debian-policy/ch-relationships.html#binary- dependencies-depends-recommends-suggests-enhances-pre-depends
I'm not sure if Predepends are necessary, but at least a Depends seem necessary. I asked about that almost a year ago: https://bugs.launchpad.net/ubuntu/+source/linux-restricted-modules/+bug/2115148/comments/43 No one seems to care... -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2164795 Title: DKMS build for nvidia kernel module skipped when transaction is interrupted before linux-headers is configured, leaving system on fallback framebuffer with no error shown To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/nvidia-graphics-drivers-580/+bug/2164795/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
