日: 2017年8月4日

ホームの下の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_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