On Mon, 11 Jul 2016 09:58:14 +0100, Colin Watson wrote: >dpkg-divert Thank you, very useful for wrappers, too. https://debian-administration.org/article/118/Replacing_binaries_with_dpkg-divert Regards, Ralf