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 but /bin/bash is still the true bash. > -- 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.
