allow alternative udev

[dkwo]

trafficstars

this allows to use alternative device manager as in https://github.com/void-linux/void-packages/pull/42488

[Duncaen]

Not a fan of this, udev is the default and I don't think we would support any other setup. You can uninstall udevd and drop in your own file if required.

[Vaelatern]

Would agree with duncaen, one point of having these files in a directory instead of being a single file is so you can make these changes on your own system (or with automation) in a safe way.

[dkwo]

What you say makes sense. However, one advantage of the small modification I propose is that it kills the device manager at the end of stage 1 (if you do not start the corresponding service with runit, that it is left running currently). I also tested it and it seems to work fine.

[xplshn]

I don't see what the problem would be, none of the changes break udev, and they allow for more flexibility. And this benefits both udev and libudev-zero users

[Duncaen]

We have better things to do than having to maintain compatibility for udev alternatives for 3 users.

The way it works now, udev is optional and you can just drop in your own script. I don't see a reason to make this an option in the official scripts while we only officially support udev.