Dear all, I am trying to convert a .msh file to .xml. I know that there is a dolphin command for that, however, I have a docker installation. Thus how could I proceed? Thank you very much for your help.
Hello,
Here you find some examples and the explanation: https://people.sc.fsu.edu/~jburkardt/py_src/dolfin-convert/dolfin-convert.html
Usage: dolfin-convert [OPTIONS] ... input.x output.y
I'm not sure if it is available inside docker, if it isn't you can simply download the dolfin-convert script (https://people.sc.fsu.edu/~jburkardt/py_src/dolfin-convert/dolfin-convert.py) and run the conversion outside the docker and just copy the files you need to your docker share folder.
Regards, Leonardo
Dear Leonardo, Thank you very much for your help! It worked properly! All the best, Murilo.