Web lists-archives.com

Re: [ANNOUNCEMENT] Updated: dash-

On Fri, 24 Feb 2017 00:50:08, Andrey Repin wrote:
In fact, you should use specific shell name, if you want specific behavior.

That is not at issue here. Both before and after this proposed change, I can use
#!/bin/dash to explicitly call Dash and #!/bin/bash to explicitly call Bash.
What _is_ at issue here is what is called with #!/bin/sh for _all_ users, not
just myself or those whom have run your homebrewed script.

In that regard, since we are giving deference to Debian by using their shell, I
say we continue that pattern and use Dash as /bin/sh.

The big question remains, where this speed boost coming from?
Is this a startup time? Or some internal slowness?
Because in latter case, given your STC, this is a bash issue and should be
reported upstream.

Dash is faster than Bash. This is not a question, it is a fact. It is not a
_bug_ any more than a Ducati being faster than an 18-wheeler is a bug. Dash by
design has less features than Bash _so_ that it can be faster than Dash. It
would suit you well to do some research of your own on this topic before posting


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