[ANNOUNCEMENT] Updated: dash-0.5.9.1-1

[Steven Penny]

On Fri, 17 Feb 2017 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