Some bash script basic utilities