>>678
何か重要なものを落とすときはwgetかcurlを使った方がいいよ。
terminalを起動して、「curl -O http://hogehoge」または「wget http://hogehoge」な感じ。
それぞれ、ホームディレクトリに落とされるよ。
…でいいんだよなぁ、たぶん。識者のフォローを求む。