Greetings, 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.
$ cat /etc/postinstall/zp_dash-as-bin-sh.dash
#!/bin/dash
test ! -h /bin/sh.exe && {
_f="$(mktemp /bin/sh.XXXXXX)"
{
mv /bin/sh.exe "$_f"
ln -s /bin/dash.exe /bin/sh.exe
} || mv "$_f" /bin/sh.exe
rm "$_f"
}
exit 0
> 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
--
With best regards,
Andrey Repin
Thursday, February 23, 2017 20:36:35
Sorry for my terrible english...
--
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
