Web lists-archives.com

Re: [ANNOUNCEMENT] Updated: dash-0.5.9.1-1




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