removeCachedFiles method
void
removeCachedFiles()
Call this manually to remove any lingering JMdict or JMdict.gz files inside the device's temporary directory
Implementation
void removeCachedFiles() async {
final tmpDir = await getTemporaryDirectory();
final tmpPath = tmpDir.uri.toFilePath();
["JMdict", "JMdict.gz",].map(
(fileName) => File("$tmpPath$fileName",),
).map(
(file) => Future<void>(
() async {
if (await file.exists()) {
file.delete();
}
},
),
);
}