URL からファイルをダウンロードしていますが、ダウンロードが始まるまでファイルの種類がわかりません。ダウンロードの開始時にDownloadManager調べることで、サーバーから MIME タイプを取得できます。COLUMN_MEDIA_TYPE
ファイルの種類を考慮してダウンロード中に、その場でファイル拡張子を含めるように宛先 uri を変更することは可能ですか? 現在、ダウンロードが完了すると、事後にファイルの名前を変更しますが、これにより多くのリンクが壊れます (ダウンロード マネージャー アプリとギャラリーの両方で)。