Various Bash utilities written in Python