Actually, there is a big problem there. The debian alternatives-system cannot handle per-user configuration.
Actually, there is a big problem there. The debian alternatives-system cannot handle per-user configuration.