使用python生成petsc二进制文件

I am trying to create a PETSC binary file using python. I try to run the script on bash shell but I get an errorI am trying to create a PETSC binary file using