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