Я пытаюсь запустить простую операцию переименования файла, однако это не удается с «ложным» результатом, присвоенным «переименовать».
<uses-permission android:name="android.permission.WRITE_EXTERNAL_STORAGE" />
...
var dir=getExternalFilesDir(Environment.DIRECTORY_DOCUMENTS);
var sourcefile=File(dir,"currentname.csv");
var destfile= File(dir,"newname.csv");
var rename=sourcefile.renameTo(destfile);
Я не уверен, где я иду не так.