4 ms·

Couldn't you just switch shell in the (presumably) rare case when you want to run a bash shell script?

• omaranto 13y ago
  No need, just run bash with the script: bash script-name. Or better yet, start the script with #!/bin/bash