How to use Unison for automated two-way file synchronization on Linux (Ubuntu) and Windows and Android