Hi Roman, I do not. I cannot even strace the process because it is an .exe invoked from a windows wsl environment, but it shouldn't
be a problem regarding the handling of the int signal, other scripts I made in the same manner handle it properly..
I haven't mentioned this in the first place because I had similar problems in the past with pure linux pipelines.
I have now discovered this:
if I invoke the .exe directly, eg:
long_running_process.exe | while etc
the ctrl+c is handled correctly, whether if I enclose it in a function like this:
winclip(){
local cmd=($DOTNET_PRJ/pasteclip/pasteclip.exe $args)
$cmd "$@"
}
doing
winclip | while etc
shows the ctrl-c problem
zsh (under wsl) is 5.4.2