remote bash grammar '[[  ]]'