On 02/01/2020 15.24, Mike Gabriel wrote: > My question about this bug report now is: do you see your bug report > fixed after I have added the --rename option to dpkg-divert? Or is the > bug more about policy and you are asking me to find another solution for > what I am doing with the diversion?
The --rename should be enough. My expectation is "uninstalling (purging) the package should restore the former state". And if your "fiddling with /usr" does not interfere with upgrades (diversions should work fine here), I don't see any policy violations ;-). Andreas
