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.
Yes, it works the same in my machine.
You can solve the no_proxy problem changing it to:
~$ echo $no_proxy 127.0.0. 0/8,.local, XXX.XXX. 0.0/16, .uni-XXX. de
localhost,
Removing * from the domains do it work.