| Sat, 25 May 2024 17:22:05 +0200 |
wenzelm |
more general dirs for Sync.sync;
|
file |
diff |
annotate
|
| Fri, 24 May 2024 17:31:49 +0200 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 15:03:47 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 13:32:44 +0100 |
wenzelm |
clarified signature: emphasize physical db files;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 20:21:30 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 19:32:09 +0200 |
wenzelm |
use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 17:20:15 +0200 |
wenzelm |
clarified signature: more abstract;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 16:44:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 16:37:54 +0200 |
wenzelm |
clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 15:34:00 +0100 |
wenzelm |
clarified signature: manage "verbose" flag via "progress";
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 15:25:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 11 Dec 2022 12:52:46 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 10:34:52 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 09:59:08 +0200 |
wenzelm |
clarified default: do not override port from ssh_config, which could be different from 22;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 16:01:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2022 22:55:21 +0200 |
wenzelm |
promote "isabelle sync" to regular user-space tool, with proper documentation;
|
file |
diff |
annotate
| base
|