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, view it on GitHub, or unsubscribe.