> > I think that has already happened for quite some time. The latest udev > package outside systemd source in Debian is 175-7.2 according to > https://tracker.debian.org/pkg/udev. In Debian jessie it is provided by > systemd package as shown on https://tracker.debian.org/pkg/systemd. I am > still on Debian wheezy with *systemd* pinned to Pin-Priority: -1. When I > tried to switched to jessie repository and do dist-upgrade, udev package is > not being pulled. > [T.J. ] I can understand your reticence, certainly. All I'm advocating is a "common sense" engineering approach. I think it is advantageous that udev be included as an option for those who prefer to make certain that no unforeseen incompatibilities creep in. Use udev, eudev, vdev or none of the above, the end user should be the one to make that decision, although Devuan could certainly chose a preference for default.
There is no technical reason to exclude udev. Whatever discussions are in progress, the fact it can be built from the same source package as systemd is entirely immaterial from an engineering standpoint. Besides, if Devuan forces users to use only their preferences, Devuan risks future fragmentation. Debian already made that mistake. Anyway, that's just the way I see it. _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
