On Saturday, September 27, 2014 10:36:14 PM UTC+2, kcrisman wrote:
>
> If I recall correctly sometimes one needs to use dash instead of bash on
> Cygwin, but nonetheless it somehow works, maybe because dash is only
> necessary when going "outside" of Sage for rebasing or something?
>
Yes, (appr
If I recall correctly sometimes one needs to use dash instead of bash on
Cygwin, but nonetheless it somehow works, maybe because dash is only
necessary when going "outside" of Sage for rebasing or something?
>
> To be precise, /bin/bash is a genuine bash on Debian, /bin/sh
> points to /bin/d
Hi,
On Fri, Sep 26, 2014 at 02:47:21PM +, Dima Pasechnik wrote:
> Sage scripts have "!/usr/bin/env bash" all over the place.
> I don't know about 'bashisms' though - one should test on a Debian system,
> where bash is not essential, as they have a push to move to dash years already
> on.
> (a
On 2014-09-26, Jean-Pierre Flori wrote:
>>
>
>> > 2. Dima -- do we specifically use bash features in the build scripts of
>> > Sage?
>>
>> Sage scripts have "!/usr/bin/env bash" all over the place.
>> I don't know about 'bashisms' though - one should test on a Debian system,
>> where bash is
>
> > 2. Dima -- do we specifically use bash features in the build scripts of
> > Sage?
>
> Sage scripts have "!/usr/bin/env bash" all over the place.
> I don't know about 'bashisms' though - one should test on a Debian system,
> where bash is not essential, as they have a push to move to das
On 2014-09-26, William A Stein wrote:
> On Fri, Sep 26, 2014 at 7:06 AM, John Cremona > wrote:
>> On 26 September 2014 14:59, Dima Pasechnik > wrote:
>>> From the noises I hear, in particular on our departamental email,
> sysadmins might be tempted to "rm -f /bin/bash"
>>> from any place they can
On 2014-09-26, Ivan Andrus wrote:
> On Sep 26, 2014, at 7:59 AM, Dima Pasechnik wrote:
>
>> From the noises I hear, in particular on our departamental email, sysadmins
>> might be tempted to "rm -f /bin/bash"
>> from any place they can get their hands on.
>>
>> It might mean that for building/w
