Commit Graph

2 Commits

Author SHA1 Message Date
Davide
a22584c630
Fine-tune profile management with additional attributes ()
Additions to the domain:

- Update rather than replace existing Core Data profile
- Attach ProfileAttributes to Profile.userInfo
- Store one-off `fingerprint` UUID on each save

With the above in place, fix and improve ProfileManager to:

- Use `fingerprint` to compare local/remote profiles in history and thus
avoid local re-import of shared profiles
- Use `deletingRemotely` to delete local profiles when removed from the
remote repository (default false)
- Use `isIncluded` filter to exclude certain profiles from the local
repository (default nil)
2024-11-03 23:35:45 +01:00
Davide
61e8d8e2f7
Optimize redraws in provider servers views () 2024-10-26 20:28:02 +02:00