Proxy用の環境変数を設定するスクリプト

proxyの設定をするときにパスワードがいる場合、.bashrcとかにべた書きしておくと不安なので毎回そこだけ標準入力から設定するスクリプト

set-proxy.sh

#!/bin/sh
read -p "id: " id
stty -echo
read -p "password: " password
stty echo
export http_proxy=http://$id:$password@[ProxyサーバのURL]:[Proxyサーバのポート]

$ source set-proxy.sh

でIDとパスワードを入力