Dumbly convert zsh scripts to python