guide:Os/proxy

From Dgiref
Jump to: navigation, search
  1. # DOMAIN_NAME="your.domain.name"
  2. # PORT="your proxy port"
  3.  
  4. DOMAIN_NAME="fzk.de"
  5. PORT=8000
  6. PROXY_SERVER="http://proxy.${DOMAIN_NAME}:$PORT" 
  7. # HTTP Proxy configuration
  8. echo "proxy=${PROXY_SERVER}" 		>> /etc/yum.conf 
  9. echo "http_proxy=${PROXY_SERVER}" 	>> /etc/wgetrc 
  10. echo "ftp_proxy=${PROXY_SERVER}" 	>> /etc/wgetrc
Personal tools