run-python-ident-rename.sh

#!/bin/sh

if [ ! -d "python-ident-rename" ]; then
  # clone repository and build executable
  git clone https://github.com/tonymorris/python-ident-rename.git
  cd python-ident-rename
  cabal update
  cabal new-build
  cd ..
fi

# run
`find python-ident-rename/dist* -executable -type f -name python-ident-rename` "$@"

# Usage: python-ident-rename (-f|--filename ARG) (-x|--from ARG) (-y|--to ARG)
#                            [-x|--from ARG] [-y|--to ARG] [-o|--output ARG]