Use external python script to parse ini file for Bash