Use double brackets in bash script