How best to sync quark POOL / userPOOL updates?

[adcxyz]

How best to sync quark POOL / userPOOL updates

Currently, when NTMI is newly installed, it copies
its default soundfiles and POOL folder to ~/POOL,
so users can personalize their setup with that folder:
add their own soundfiles,
store their own presets for sounds,
add their own sound processes, and
add their own startup files with setup details,
etc.

Currently, when NTMI is updated, changes in the quark POOL folder
are not automatically transferred to the user POOL folder.

How should that happen?

• compare the two folders and notify user of any diffs,
  letting users make informed decisions what to change?

These changes could include:

• new files with sound processes
• fixes/improvements in existing sound processes
• added presets for the sound processes
• new or changed other files - startup examples, etc

A comparison should identify:

• files that are unique in userPOOL -> personalization, leave as is
• files that are unique in quarkPOOL -> recommend copying over
• files that are identical in both -> only post if verbose
• files with identical name that differ:
  -> check mtime, check filesize and text diff, and depending on outcome,
  -> recommend copying newer version to userPOOL,
  -> or when in doubt, recommend comparison by hand.