Regen strings.ml

src/strings.ml

@@ -2757,6 +2757,37 @@ 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 or SIGQUIT (the\n\
+      \032      latter can also be generated from keyboard by pressing \226\128\156Ctrl-\\\226\128\157 or\n\
+      \032      \226\128\156Ctrl-4\226\128\157), instead. \226\128\156Ctrl-D\226\128\157 is expected to send an EOF if the\n\
+      \032      sandard input is a terminal. Closing the input and receiving an\n\
+      \032      EOF, a ^C (0x03), or a ^D (0x04) from the input terminal or a\n\
+      \032      redirected standard input have the same effect. EOF is not\n\
+      \032      interpreted as a stop request when standard input is redirected\n\
+      \032      from a regular file. If the standard input is not open or not open\n\
+      \032      for reading already at Unison startup then it is ignored and only\n\
+      \032      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\