All the Unix filters i know rarely fails, they just process `stdin` until they 
encounter the EOF, so i don't see the need to be that conservative.

I think the most user-friendly behavior would be discarding stderr completely 
and do the replacement in any case.
If the user is unhappy with the replacement he/she can still undo it with a 
single command.

I've also tried `sh -c '/usr/bin/bc 2>/dev/null'` as suggested, but it does not 
seem to work.


---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1118#issuecomment-231456345

Reply via email to