Tõivo Leedjärv

@acsysch I obviously don't understand your usage of `-repeat`. Could you please provide some more details of how your script works? Do you use repeat with a time interval or...

Yes, SIGTERM is the most appropriate when the retry loop is executing. Even SIGKILL would be safe (but there's a small risk that the connection was just restored by the...

Heh, I just opened a PR :)

You may have noticed a common theme in my comments. Windows. A solution based on signals is fine but that leaves Windows completely out. Except for SIGINT which Windows knows...

I've removed the SIGQUIT method. It really was redundant and only made the code more complex. Now the diff is smaller and easier to review. In principle I'm also ok...

Status update. What is currently implemented (not everything is merged yet). **To interrupt/terminate immediately** (already merged) * SIGINT tries to terminate the process as quickly as possible, interrupting the ongoing...

All the changes are now pushed in this PR.

> Now that this has settled I looked through in more detail. > > I'm totally ok with merging the USR2 stuff as I see no downsides. Ok, I may...

This feature was included in release 2.53.0. If you need to upgrade and get the latest binaries for 2.53.2 then you may have a look at https://github.com/bcpierce00/unison/actions/runs/4566969951 (these have some...

> * Not just the height, but also the width of the application window is often non-optimal. For instance, on a netbook with a small display, I get an initial...