On Wed, May 22, 2013 at 01:56:08PM +0200, Benjamin Drung wrote: > Commenting/Uncommenting deb-src lines in /etc/apt/sources.list seems > much simpler/easier. I can deal with that... I always have changes to make to sources.list anyway, so uncommenting a few more items is not an issue.