On Mon, 2011-01-10 at 14:21 -0700, Thomas Jürges wrote: > Tough luck. Life is a constant stream of tough decisions. If the > software is under control of package management, this is a no-brainer. Yes, that's why "apt-get" returns about 7.5 million hits on Google ;) Jo Even