ホームの下のscripts/update_pynq.shを実行すると A branch named 'master' already exists というエラーになる．直すにはupdate_pynq.shを編集して --track が2箇所あるので削除すれば良い．

シェルから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_…