Hi, On Fri, Sep 26, 2014 at 02:47:21PM +0000, 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 removing bash and making it a symbolic link to dash).
To be precise, /bin/bash is a genuine bash on Debian, /bin/sh points to /bin/dash but /bin/bash is still the true bash. > no, my point is that we might need to be able to build Sage on > machines without a system-wide bash. I am not sure Sage should adapt its code to such arbitrary decisions, there have been some Linux kernel critical bugs, not sure we can afford removing such a dependency if some incompetent sysadmins suddenly decide to get rid of their kernel instead of upgrading their system. Ciao, Thierry -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
