After the issue at #2374 got cleared up as a faulty terminal command, should i leave this open?
I think this change wouldn't hurt and having to add `/bin/sh` to the terminal command is not very intuitive. @techee @elextr ? -- 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/pull/2372#issuecomment-544266823
