http_proxy を対話的に設定する関数

setproxy.sh

# /etc/profile.d/setproxy.sh
function setproxy () {
    proxy_uri='proxy.example.com:8080'
    echo "Proxy URI: ${proxy_uri}"
    echo -n 'Proxy user: '
    read -s proxy_id
    echo
    echo -n 'Proxy password: '
    read -s proxy_pw
    echo
    export http_proxy="http://${proxy_id}:${proxy_pw}@${proxy_uri}"
    echo 'Examining connection...'
    curl -I http://www.example.com/
}