# Proxy 1.0 # Francesco Latini # www.francescolatini.net function proxy() { default_proxy="ciccio.it" # proxy di default default_port_proxy="3128" # porta di default del proxy echo -en "\nUsername: " read -e username if [ "$username" ]; then echo -en "Password: " read -es password echo -en "\nDomain: " read -e domain fi; echo -en "Url [$default_proxy]: " read -e url_proxy echo -en "Port [@default_port_proxy]: " read -e port_proxy if [ ! "$url_proxy" ]; then url_proxy=$default_proxy; fi; if [ ! "$port_proxy" ]; then port_proxy=$default_port_proxy; fi; if [ ! "$username" ]; then export HTTP_PROXY="$url_proxy:$port_proxy" export FTP_PROXY="$url_proxy:$port_proxy" echo -e "\nHTTP_PROXY e' stato settato come:\n\t $url_proxy:$port_proxy" echo -e "\nFTP_PROXY e' stato settato come:\n\t $url_proxy:$port_proxy" elif [ ! "$domain" ]; then export HTTP_PROXY="$username:$password@$url_proxy:$port_proxy" export FTP_PROXY="$username:$password@$url_proxy:$port_proxy" echo -e "\nHTTP_PROXY e' stato settato come:\n\t $username:(password)@$url_proxy:$port_proxy" echo -e "\nFTP_PROXY e' stato settato come:\n\t $username:(password)@$url_proxy:$port_proxy\n" else export HTTP_PROXY="$domain\\$username:$password@$url_proxy:$port_proxy" export FTP_PROXY="$domain\\$username:$password@$url_proxy:$port_proxy" echo -e "\nHTTP_PROXY e' stato settato come:\n\t $domain\\\\$username:(password)@$url_proxy:$port_proxy" echo -e "\nFTP_PROXY e' stato settato come:\n\t $domain\\\\$username:(password)@$url_proxy:$port_proxy\n" fi; }