Gotcha. Would love if it was clearer that the sync isn't a merge, but that's not a big deal.
After sending this I figured out that as you say accessing Android backups requires exporting data. So for the benefit of anyone else who is trying to do this, or myself next time I accidentally overwrite local progress, I was
able to recover both my progress from the Android app ("local") and the
new cards I had added via the desktop install ("remote") by:
- Restoring remote to its own backup from before the sync
- Exporting the new cards I had added as a .cards file
- Exporting data from local
- Copying the most recent pre-sync backup from local to my hard drive
- Restoring remote to that backup from local
- Importing the .cards file with the new cards to remote
-
Deleting local's db and doing a full sync from clean (it gave an error
about a sync cycle when I tried to just sync, probably because of
restoring remote to a backup from local)
When trying to figure this out I was looking at this page:
https://mnemosyne-proj.org/help/backups.php
which has instructions for finding the backups on PC, needing to export data to access backups from the Android app.
Is it possible to contribute to the documentation somehow? I'd like to add a note about that.
Thanks!