Proxyの設定

Robotino 3に限らず，Ubuntu 等をインストールした後に必要な作業．学内用．

• apt用設定: sudo vi /etc/apt/apt.conf

Acquire::http::Proxy "http://cache.st.ryukoku.ac.jp:8080/";

• bash用設定: vi .bashrc

export http_proxy=http://cache.st.ryukoku.ac.jp:8080
export https_proxy=$http_proxy

• git用設定:

git config --global http.proxy http://cache.st.ryukoku.ac.jp:8080
git config --global url."https://".insteadOf git://

• subversion用設定: vi ~/.subversion/servers

[external]
http-proxy-host = cache.st.ryukoku.ac.jp
http-proxy-port = 8080