socket .gmshsock ou .gmshsock2
Bonjour,
Il y a visiblement un problème dans le nom par défaut du socket.
Dans les options par défaut apparait ".gmshsock" alors que c'est ".gmshsock2" qui est créé par défaut.
Version utilisée : 2.8.3 linux 32 bit
Cordialement. Guénhaël Le Quilliec