Hi! You are right, it works now. Interesting, there seems to be no way now to find out why it was giving me this "Unknown host" thing. I don't recall changing anything myself.
Thanks anyways! -- The package for global (4.8.6-2) is broken https://launchpad.net/bugs/70137 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs