プロキシ環境でDropboxを使う

大学のネットワークから外部に接続する場合、プロキシを経由しなければならない。
何でも、Dropboxのプロキシの自動設定が正常に動作しないそうな。
前回、導入しようとして失敗した原因はこれらしい。
ソフト/Dropbox - discypusを見ながら導入したところ、正常に動作した。