Comment by homulilly

This still presents an issue with shebang lines, though. I use ‘#!/usr/bin/env bash’ to work around this but occasionally have to modify other peoples scripts if they’re relying on newer bash features.