groove/Vaani
1
0
Fork 0
mirror of https://github.com/Dr-Blank/Vaani.git synced 2026-07-06 17:31:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: generate dynamic zip file name for logs export

Browse source
This commit is contained in:
Dr-Blank 2024-10-03 04:10:37 -04:00
parent 8e0735a15c
commit 2545988434
No known key found for this signature in database
GPG key ID: 7452CC63F210A266
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
lib/features/logging/providers/logs_provider.dart
View file

@ -39,7 +39,11 @@ class Logs extends _$Logs {
Future<String> generateZipFilePath() async { Future<String> generateZipFilePath() async {
Directory appDocDirectory = await getTemporaryDirectory(); Directory appDocDirectory = await getTemporaryDirectory();
return '${appDocDirectory.path}/vaani_logs.zip'; return '${appDocDirectory.path}/${generateZipFileName()}';
}
String generateZipFileName() {
return 'vaani-${DateTime.now().toIso8601String()}.zip';
} }
Level parseLevel(String level) { Level parseLevel(String level) {

2
lib/features/logging/view/logs_page.dart
View file

@ -87,7 +87,7 @@ class LogsPage extends HookConsumerWidget {
// save to folder // save to folder
String? outputFile = await FilePicker.platform.saveFile( String? outputFile = await FilePicker.platform.saveFile(
dialogTitle: 'Please select an output file:', dialogTitle: 'Please select an output file:',
fileName: 'vaani_logs.zip', fileName: zipLogFilePath.split('/').last,
); );
if (outputFile != null) { if (outputFile != null) {
try { try {