Configuring Dolfinx in PyCharm

Hey Kei, when I try docker pull dolfinx/dolfinx:stable I get

docker pull dolfinx/dolfinx:stable
stable: Pulling from dolfinx/dolfinx
d19f32bd9e41: Pull complete 
4f4fb700ef54: Pull complete 
855ab12da747: Pull complete 
817f304a786d: Pull complete 
ad31d547c4fa: Pull complete 
5e7311608b7f: Pull complete 
03b896a421c6: Pull complete 
6918cdb990ab: Pull complete 
f4654c21976f: Pull complete 
b1e31cb34545: Pull complete 
48e5a8370124: Pull complete 
5ab09367c15e: Pull complete 
3f0175c3521d: Pull complete 
03331ccd2afa: Pull complete 
Digest: sha256:1d6f1589082314b1f239efb8dfc85d7245c20d05c67754e91400a8c82bc64e74
Status: Downloaded newer image for dolfinx/dolfinx:stable

so it seems to work. Thank’s for that.

Another error occurred when I tried to configure the dolfinx/dolfinx:stable image as python interpreter:

failed to create shim task: OCI runtime create failed: runc create failed: unable to start container process: exec: \"python\": executable file not found in $PATH: unknown

I think this is somehow related to the missing dist-packages directory mentioned here.