4 Commits

Include renames

Author	SHA1	Message	Date
tke	422cea035e	moved proxy_config to seperate file	2019-11-19 15:00:31 +01:00
TKE	dec7018d13	updated proxy-config-script for bash ... script will now read current proxy from env script will ask for proxyaddress noproxy variable was moved to seperate file for individual configuration scritp will no longer overwrite noproxy config	2019-11-12 10:39:56 +01:00
tke	9e525b9bd8	fixed docker proxy update script	2019-10-29 19:25:34 +01:00
Tobias Kessels	2b0c8d03ef	fixed proxy scripts and added tools dockerfiles	2019-02-12 12:08:44 +01:00