curl

ファイルをダウンロードするコマンドといえばwgetが普通ですが、最近curlというコマンドでもファイルをダウンロードできることを知ったのでメモ。特にwget ではファイルのリダイレクトが有効にならないので、結構不便だったりする...