Various simple bash scripts