Use more [[ ]] instead of [ ] in bash