| ... | @@ -25,8 +25,8 @@ https_proxy=http://webproxy.berlin.ptb.de:8080 |
... | @@ -25,8 +25,8 @@ https_proxy=http://webproxy.berlin.ptb.de:8080 |
|
|
HTTPS_PROXY=http://webproxy.berlin.ptb.de:8080
|
|
HTTPS_PROXY=http://webproxy.berlin.ptb.de:8080
|
|
|
ftp_proxy=http://webproxy.berlin.ptb.de:8080
|
|
ftp_proxy=http://webproxy.berlin.ptb.de:8080
|
|
|
FTP_PROXY=http://webproxy.berlin.ptb.de:8080
|
|
FTP_PROXY=http://webproxy.berlin.ptb.de:8080
|
|
|
no_proxy="localhost,127.0.0.1,localaddress,.ptb.de"
|
|
no_proxy="localhost,127.0.0.1,.ptb.de"
|
|
|
NO_PROXY="localhost,127.0.0.1,localaddress,.ptb.de"
|
|
NO_PROXY="localhost,127.0.0.1,.ptb.de"
|
|
|
```
|
|
```
|
|
|
Danach ab- und wieder anmelden.
|
|
Danach ab- und wieder anmelden.
|
|
|
|
|
|
| ... | |
... | |
| ... | | ... | |
