Yes, it works the same in my machine. You can solve the no_proxy problem changing it to:
~$ echo $no_proxy localhost,127.0.0.0/8,.local,XXX.XXX.0.0/16,.uni-XXX.de Removing * from the domains do it work. -- apt,wget ignore $no_proxy https://bugs.launchpad.net/bugs/95929 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
