We need BASH for [[