To me the straightforward solution here is not dpkg-alternative, but
what Ivo recommended, since it only involves modifying *one* package.

Cheers,

-- 
Seb

Reply via email to