On Mon, May 26, 2025, at 2:08 PM, Paul Eggert wrote: > Thanks for that quote cleanup. I was struck by its simplification of > "s/'\''/'\''\\\\\\\\'\'''\''/g" to "s/'/'\\\\\\\\''/g"; only cognoscenti > can appreciate minor victories like these. I installed it.
I also want to say thank you for doing this. I tried to do it myself last year, gave myself a headache, and gave up. I installed a follow-up patch that moves the rest of the code out of the trap command into a third shell function. zw