proxy認証する場合にhttp_proxy変数に $ export http_proxy=http://user:pass@host:portとやるのだが、userやpassに':'や'@'を入れたい場合はどうするのかなと思ってちょっと調べてみた。ユーザ名には使わないだろうけどパスワードだとありうるので。おそら…