Now, doing this with in P2P implies achieving merges between any number of parties (because there is no central authority that is the only person each client should deal with instead every client has to take into account all the modifications that every other client has made). It’s so hard that sometimes Anki does not know how to solve that in a “proper” manner and just gives up, saying “which version would you like to keep, and which one to throw away”?Įven more sophisticated vc software have the same issue and, even though they let you do more fine-tuned merges when they can’t figure it on their own, it’s still a hard problem. It becomes harder, much harder when each client may have some progress independently and then tries to merge. This seems easy enough when you only do fast-forward, that is, whenever I make changes on a client, I sync to the server and then sync to every other client so that everyone is up-to-date before making new changes. What I mean by that is that, as with most vc software (such as git), when you have this client / server setup, you only ever need to do two-party merges (that is, merging the client’s version of your collection with the server’s version). Unfortunately, having a central sync server is not just a matter of practicality for most users (who would prefer that to P2P), it’s also necessary when you are trying to maintain synced several clients. Or, perhaps introduce a truely P2P/decentralized sync protocol? Let’s hear your ideas. Maybe, say, Anki Desktop itself could be a sync server? And to sync with the phone, we would scan a QR code presented by Anki Desktop. Or it may be that this requires support in the software, both in Anki Desktop and the mobile clients. However, files under these two folders aren’t identical how would one safely go about this? Directly syncing files under ~/.local/share/Anki2// (on the computer, Linux) and those in AnkiDroid’s data directory (on the phone) is an idea syncing this way could conceivably be made rather easy. Obviously, we can always export & import, but that’s much too inconvenient. It would be nice, if we could sync between devices directly, even if a little less smoothly. But I’ve always made sure not to put any sensitive information into Anki, because it would be uploaded to AnkiWeb’s sync server. And most users are well served by it, in most cases. Clearly, this design choice was made deliberately. Grateful I am for the free AnkiWeb service, still it does strike me unnecessary to rely on a server at all. I use the computer to add cards, and do the reviews in AnkiDroid on the phone. However, I wonder how a user can sync directly between devices, conveniently, without involving the “cloud”? The syncing is done via a sync server, by default AnkiWeb, which requires only a free account, but it’s also possible to use a self-hosted sync server (djankiserv, anki-sync-server), though it’s a bit of a hassle (or, to many, infeasible). You'll need this later.First, kudos: Anki has made syncing very smooth. Make note of the name of this PC under How to connect to this PC. When you're ready, select Start > Settings > System > Remote Desktop, and turn on Enable Remote Desktop. To check this, go to Start > Settings > System > About and look for Edition. For info on how to get Windows 10 Pro, go to Upgrade Windows 10 Home to Windows 10 Pro. Select the remote PC name that you added, and then wait for the connection to complete. On your Windows, Android, or iOS device: Open the Remote Desktop app (available for free from Microsoft Store, Google Play, and the Mac App Store), and add the name of the PC that you want to connect to (from Step 1). In Remote Desktop Connection, type the name of the PC you want to connect to (from Step 1), and then select Connect. On your local Windows PC: In the search box on the taskbar, type Remote Desktop Connection, and then select Remote Desktop Connection. Use Remote Desktop to connect to the PC you set up: Make note of the name of this PC under PC name. Then, under System, select Remote Desktop, set Remote Desktop to On, and then select Confirm. When you're ready, select Start, and open Settings. Then, under System, select About, and under Windows specifications, look for Edition. For info on how to get Windows 11 Pro, go to Upgrade Windows Home to Windows Pro. To check this, select Start, and open Settings. Set up the PC you want to connect to so it allows remote connections:
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |