Hacker News new | ask | show | jobs
by VLM 4605 days ago
Usually update-alternatives takes care of it.

https://wiki.debian.org/DebianAlternatives