Bash scripts various