[PATCH 25/47] bash scripts: replace '[ ]' with '[[ ]]' for bash scripts