Skip to content

Changes

Page history
".berlin.ptb.de" --> ".ptb.de" authored by Rolf Niepraschk's avatar Rolf Niepraschk
Hide whitespace changes
Inline Side-by-side
ubuntu.md
View page @ e715d673
...@@ -33,8 +33,8 @@ https_proxy=http://webproxy.berlin.ptb.de:8080 ...@@ -33,8 +33,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://ftpproxy.berlin.ptb.de:8080 ftp_proxy=http://ftpproxy.berlin.ptb.de:8080
FTP_PROXY=http://ftpproxy.berlin.ptb.de:8080 FTP_PROXY=http://ftpproxy.berlin.ptb.de:8080
no_proxy="localhost,127.0.0.1,.berlin.ptb.de" no_proxy="localhost,127.0.0.1,.ptb.de"
NO_PROXY="localhost,127.0.0.1,.berlin.ptb.de" NO_PROXY="localhost,127.0.0.1,.ptb.de"
``` ```
Danach ab- und wieder anmelden. Danach ab- und wieder anmelden.
... ...
......