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

https://wiki.debian.org/DebianAlternatives