2016-12-25 10:25 GMT+01:00 Julian Andres Klode <j...@debian.org>: >> # apt dist-upgrade >> The following packages will be REMOVED: >> mariadb-server mariadb-server-10.0 mariadb-server-core-10.0 >> 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. > >> # apt install mariadb-server >> 1 upgraded, 7 newly installed, 4 to remove and 0 not upgraded. > > This one removes a package more (and in addition to that also does > other changes), so it really is worse solution than just removing > mariadb-server altogether.
That's not true right? I think we agree the proper solution being to upgrade mariadb from 10.0 to 10.1. Only removing packages is (I think always) worse then a no-op. Can't it detect mariadb-server-10.1 being a proper upgrade of mariadb-server-10.0 and hence scoring this as neutral or positive? > I'm not sure, but maybe we are not weighting removals of automatically > installed packages lower than removals of manually installed packages? Ideally the removal should be irrelevant here, if you can detect it as an upgrade. -- Olaf