On 2017年2月17日 07:50:34, "Eric Blake (cygwin)" wrote: > For now, there are no immediate plans of replacing /bin/sh > with dash, but the possibility remains for the future. I am a fan of this. Debian does this already, and it would dramatically speed up shell scripts: $ cat alfa.sh x=400000 until [ "$((x -= 1))" = 0 ] do : done $ time bash alfa.sh real 0m5.735s $ time dash alfa.sh real 0m1.112s Dash can handle large scripts; I am already using it with one (545 SLOC): http://github.com/svnpenn/sage/blob/master/sage -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple