You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have been assuming bash for a very long time. Removing bashisms would require replacing those scripts by more complicated code, giving more chances of breakage.
And if you stop assuming bash as shell, you have to test that things works on all shells. Again giving more chances of breakage.
It seems to increase portability, see e.g. #17513.
Component: scripts
Reviewer: Jeroen Demeyer
Issue created by migration from https://trac.sagemath.org/ticket/17699
The text was updated successfully, but these errors were encountered: