fix: don't let pre-restore auto-export clobber the WebDAV backup being restored

assets/translations/de.json

@@ -42,6 +42,8 @@
   "class_average": "Klassendurchschnitt",
   "back": "Zurück",
   "back_to_unlock": "Zurück zum Entsperren",
+  "backup_export_busy": "Ein anderes Gerät synchronisiert dieses Backup gerade. Versuche es gleich noch einmal.",
+  "backup_export_conflict": "Ein anderes Gerät hat diese Bibliothek geändert, seit du zuletzt synchronisiert hast. Deine Änderungen wurden als separates Backup gespeichert – prüfe \"Verfügbare Backups\", um sie zu vergleichen und zusammenzuführen.",
   "backup_export_failed": "Classi konnte das Backup nicht exportieren.",
   "backup_exported": "Backup exportiert.",
   "backup_import_failed": "Classi konnte das Backup nicht importieren.",
@@ -98,6 +100,8 @@
   "database_overwrite_warning": "Eine Bibliothek mit diesem Namen existiert bereits und wird überschrieben.",
   "date": "Datum",
   "delete": "Löschen",
+  "device_name": "Gerätename",
+  "device_name_hint": "Wird anderen Geräten angezeigt, wenn ein Backup von hier zur Wiederherstellung verfügbar ist. Standardmäßig eine allgemeine Bezeichnung basierend auf der Plattform dieses Geräts.",
   "dismiss": "Schließen",
   "done": "Erledigt",
   "edit": "Bearbeiten",
@@ -131,6 +135,7 @@
   "export_library": "Backup exportieren",
   "export_library_hint": "Erstellt eine portable Backup-Datei für Sync oder Transfer.",
   "export_now": "Jetzt exportieren",
+  "exporting_backup": "Backup wird exportiert…",
   "first_name": "Vorname",
   "generic_error": "Etwas ist schiefgelaufen.",
   "generic_error_hint": "Bitte versuche es erneut.",
@@ -223,6 +228,7 @@
   "newer_backup_available": "Ein neueres Backup ist verfügbar.",
   "newer_backup_available_hint": "Stelle es vor dem Entsperren wieder her, um diese lokale Bibliothek durch den synchronisierten Stand zu ersetzen.",
   "newer_backup_exported_at": "Backup wurde von einem anderen Gerät am {datetime} exportiert.",
+  "newer_backup_exported_from_at": "Backup wurde von {device} am {datetime} exportiert.",
   "next": "Weiter",
   "no_folder_selected": "Kein Ordner ausgewählt",
   "no_grade": "Keine Note",

assets/translations/en.json

@@ -42,6 +42,8 @@
   "class_average": "Class average",
   "back": "Back",
   "back_to_unlock": "Back to unlock",
+  "backup_export_busy": "Another device is syncing this backup right now. Try again in a moment.",
+  "backup_export_conflict": "Another device changed this library since you last synced. Your changes were saved as a separate backup — check \"Available backups\" to review and merge.",
   "backup_export_failed": "Classi could not export the backup.",
   "backup_exported": "Backup exported.",
   "backup_import_failed": "Classi could not import the backup.",
@@ -98,6 +100,8 @@
   "database_overwrite_warning": "A library with this name already exists and will be overwritten.",
   "date": "Date",
   "delete": "Delete",
+  "device_name": "Device name",
+  "device_name_hint": "Shown to other devices when a backup from here is available to restore. Defaults to a generic label based on this device's platform.",
   "dismiss": "Dismiss",
   "done": "Done",
   "edit": "Edit",
@@ -131,6 +135,7 @@
   "export_library": "Export backup",
   "export_library_hint": "Create a portable backup file for sync or transfer.",
   "export_now": "Export now",
+  "exporting_backup": "Exporting backup…",
   "first_name": "First name",
   "generic_error": "Something went wrong.",
   "generic_error_hint": "Please try again.",
@@ -223,6 +228,7 @@
   "newer_backup_available": "A newer backup is available.",
   "newer_backup_available_hint": "Restore it before unlocking to replace this local library with the synced snapshot.",
   "newer_backup_exported_at": "Backup exported by another device on {datetime}.",
+  "newer_backup_exported_from_at": "Backup exported from {device} on {datetime}.",
   "next": "Next",
   "no_folder_selected": "No folder chosen",
   "no_grade": "No grade",

lib/core/providers/app_providers.dart

@@ -31,6 +31,7 @@ import '../storage/database_path_service.dart';
 import '../storage/library_backup_preferences_service.dart';
 import '../storage/library_backup_service.dart';
 import '../storage/project_settings_store.dart';
+import '../sync/device_identity_service.dart';
 import '../update/app_update_controller.dart';
 
 final keyServiceProvider = Provider<KeyService>((ref) => KeyService());
@@ -66,6 +67,10 @@ final biometricServiceProvider = Provider<BiometricService>(
   (ref) => BiometricService(),
 );
 
+final deviceIdentityServiceProvider = Provider<DeviceIdentityService>(
+  (ref) => DeviceIdentityService(),
+);
+
 final appUpdateControllerProvider = ChangeNotifierProvider<AppUpdateController>(
   (ref) => AppUpdateController(),
 );
@@ -80,6 +85,7 @@ final appSessionProvider = ChangeNotifierProvider<AppSessionController>((ref) {
     ),
     libraryBackupService: ref.watch(libraryBackupServiceProvider),
     biometricService: ref.watch(biometricServiceProvider),
+    deviceIdentityService: ref.watch(deviceIdentityServiceProvider),
   );
   unawaited(controller.initialize());
   return controller;