src/Pure/Tools/sync.scala
11 months ago wenzelm clarified signature: emphasize physical db files;
19 months ago wenzelm clarified modules;
22 months ago wenzelm more options;
22 months ago wenzelm use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
22 months ago wenzelm clarified signature: more abstract;
22 months ago wenzelm tuned;
22 months ago wenzelm clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
23 months ago wenzelm clarified signature: manage "verbose" flag via "progress";
23 months ago wenzelm tuned;
2022-12-11 wenzelm clarified signature;
2022-09-13 wenzelm let rsync re-use ssh connection via control path;
2022-09-13 wenzelm clarified command-line;
2022-09-13 wenzelm clarified default: do not override port from ssh_config, which could be different from 22;
2022-08-12 wenzelm tuned signature;
2022-06-11 wenzelm promote "isabelle sync" to regular user-space tool, with proper documentation;
less more (0) tip