Re: [GHC] #8838: Allow running bash shell commands