4 May
2020
4 May
'20
3:50 p.m.
Dne pondělí 4. května 2020 16:36:53 CEST, Ulrich Sibiller napsal(a):
Given that bash is enforced there for a reason, it doesn't sound like a good idea to replace it with something else.
I have done some research. The reason is that before the scripts used /bin/sh which is unspecific and might point to other shells. As the scripts seem to use one or the other bashism this is problematic.
The proper way then is to put #! /bin/bash into the script that requires it. Not to invoke it using "bash script"
Vladislav Kurz