Fichier *.json

Bonjour
J’ai pu observer qu’il était possible d’importer un fichier *.json depuis le Gestionnaire d’extensions. Quand j’essaie d’importer ce type de fichier, la fenêtre ne me propose que l’extension “.profile”.
J’ai renommé mon fichier *.json en *.profile. Cela a bien fonctionné mais une fenêtre m’indique que tous les profils vont être supprimés … et il ne se passe rien (ou je ne le vois pas).
Est-ce que cette fonction est opérationnelle ?
Merci

Bonjour,

A partir du gestionnaire d’extensions, il est en effet possible d’exporter et d’importer des fichiers “.profile” qui correspond à la liste des profiles actuellement utilisées dans eveBIM, ceci afin de partager un fichier de profiles entre différents utilisateurs.

Pour faciliter la lecture, ce fichier est effectivement en json mais la structure est très précise et ne permet que d’importer/exporter des profiles.

Cordialement,