tke 414de286cd improved bashrc-proxyscript

2019-11-19 15:00:31 +01:00

..

get_proxy.sh

moved proxy_config to seperate file

2019-11-19 15:00:31 +01:00

update_bashrc_proxy.sh

improved bashrc-proxyscript

2019-11-19 15:00:31 +01:00

update_docker_proxy.sh

updated docker-proxy script

2019-11-19 15:00:31 +01:00