PYNQ-Z1にプロキシ設定

シェルからsetコマンドやexportコマンドで設定してもなぜか効かなかった．結局/etc/profileを編集した．

root@pynq:# vi /etc/profile
MY_PROXY_URL=”http://proxy.hoge.jp:3128\”
HTTP_PROXY=$MY_PROXY_URL
HTTPS_PROXY=$MY_PROXY_URL
FTP_PROXY=$MY_PROXY_URL
http_proxy=$MY_PROXY_URL
https_proxy=$MY_PROXY_URL
ftp_proxy=$MY_PROXY_URL
export HTTP_PROXY HTTPS_PROXY FTP_PROXY
export http_proxy https_proxy ftp_proxy
root@pynq:# source /etc/profile