Some simple bash scripts