我正在使用image_picker: ^0.6.2+3包从图库中挑选图像/拍照。
File picture = await ImagePicker.pickImage(
maxWidth: 800,
imageQuality: 10,
source: source, // source can be either ImageSource.camera or ImageSource.gallery
maxHeight: 800,
);
我得到picture.path作为
/Users/[一些路径]/tmp/image_picker_A0EBD0C1-EF3B-417F-9F8A-5DFBA889118C-18492-00001AD95CF914D3.jpg
现在我想将图像重命名为case01wd03id01.jpg
注意:我不想将其移动到新文件夹
我该如何重命名它?我在官方文档中找不到它。