Web lists-archives.com

Re: [ANNOUNCEMENT] Updated: dash-

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
   until [ "$((x -= 1))" = 0 ]
   do :

   $ 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):


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