use double [[ in bash