Re: [ANNOUNCEMENT] Updated: dash-0.5.9.1-1
- Date: Mon, 27 Feb 2017 16:51:04 -0800 (PST)
- From: Steven Penny <svnpenn@xxxxxxxxx>
- Subject: Re: [ANNOUNCEMENT] Updated: dash-0.5.9.1-1
On Tue, 28 Feb 2017 10:12:47, Duncan Roe wrote:
"we" being you and who else?
/bin/sh has been bash for a long time and I would prefer it stays that way.
“That’s the way it’s always been done” is not a good reason to keep doing
something. /bin/sh has been defined for 20 years, and it is not Bash:
If you want to write a Bash script, you should be using #!/bin/bash, not
#!/bin/sh. If we are to continue using Bash, it should be for a good reason,
like the one Eric presented, not just because you want to save 2 characters on
your shebang line.
On Fri, 24 Feb 2017 08:43:30, Eric Blake wrote:
But we are severely limited in volunteer manpower compared to Debian,
and I suspect that 1) there won't be enough testers (we won't know the
real impact until it is no longer experimental, but that is too late),
and 2) even if testers are diligent, we will be unable to patch all the
fallout in any sort of timely manner.
Problem reports: http://cygwin.com/problems.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple