Regen strings.ml

src/strings.ml

@@ -2757,6 +2757,35 @@ let docs =
       \032      cleanup procedures and terminates the process forcibly (similar to\n\
       \032      SIGKILL). Doing so may leave the archives or replicas in an\n\
       \032      inconsistent state or locked.\n\
+      \032      When synchronizing continuously (time interval repeat or with\n\
+      \032      filesystem monitoring), interrupting with \226\128\156Ctrl-C\226\128\157 or with signal\n\
+      \032      SIGINT or SIGTERM works the same way as described above and will\n\
+      \032      additionally stop the continuous process. To stop only the\n\
+      \032      continuous process and let the last synchronization complete\n\
+      \032      normally, press \226\128\156Ctrl-D\226\128\157 or send signal SIGUSR2 instead. \226\128\156Ctrl-D\226\128\157\n\
+      \032      is expected to send an EOF if the sandard input is a terminal.\n\
+      \032      Closing the input and receiving an EOF, a ^C (0x03), or a ^D (0x04)\n\
+      \032      from the input terminal or a redirected standard input have the\n\
+      \032      same effect. EOF is not interpreted as a stop request when standard\n\
+      \032      input is redirected from a regular file. If the standard input is\n\
+      \032      not open or not open for reading already at Unison startup then it\n\
+      \032      is ignored and only signals can be used to send the stop request.\n\
+      \n\
+      \032    Tips: For continuous synchronization the input should not be\n\
+      \032    redirected from /dev/null (as that would stop the process after the\n\
+      \032    first synchronization). This is what some implementations of nohup\n\
+      \032    may do if run from a terminal without redirecting input. Input\n\
+      \032    should neither be redirected from any source providing a lot of\n\
+      \032    input (such as an existing regular file larger than a few tens of\n\
+      \032    bytes or a device or a pipe that produces large quantities of data).\n\
+      \032    In such cases, Unison would keep reading all the input looking for\n\
+      \032    the stop condition.\n\
+      \n\
+      \032    Pressing \226\128\156Ctrl-D\226\128\157 will work properly if pressed at start of a line.\n\
+      \032    You may have to press \226\128\156Enter\226\128\157 first to start a new line if there is\n\
+      \032    a chance that the input buffer is not empty. In Windows you can\n\
+      \032    press \226\128\156Ctrl-D\226\128\157 any time but you must also press \226\128\156Enter\226\128\157 after it\n\
+      \032    (but \226\128\156Ctrl-Z + Enter\226\128\157 must be pressed at start of a line).\n\
       \n\
       Exit Code\n\
       \n\