Ok I upgraded Bash and it seems to be working fine so far, rebooted too. Warehouse reported an error during the upgrade though but it was probably just because the shell binary was missing. If I notice any issues with it I'll get back to you. But it feels a bit better to run a newer Bash because the default one is very old.