Several useful Python/Bash scripts