use python3 in helper script embedded in bash
[bootcd.git] / configurations /
drwxr-xr-x   ..
drwxr-xr-x - default