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/dash
On 2014-09-26, Ivan Andrus darthand...@gmail.com wrote:
On Sep 26, 2014, at 7:59 AM, Dima Pasechnik dimp...@gmail.com 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
On 2014-09-26, William A Stein wst...@uw.edu wrote:
On Fri, Sep 26, 2014 at 7:06 AM, John Cremona john.crem...@gmail.com
javascript:; wrote:
On 26 September 2014 14:59, Dima Pasechnik dimp...@gmail.com
javascript:; wrote:
From the noises I hear, in particular on our departamental email,
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 dash years
On 2014-09-26, Jean-Pierre Flori jpfl...@gmail.com 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
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.
(and so
