Hi Alberto >"ec" can not be opened because the developer can not be verified >"ecdbgd" can not be opened because the developer can not be verified >I forced the permission for them. Yes, at the moment you need to do that, I follow this https://support.apple.com/guide/mac-help/open-a-mac-app-from-an-unidentified-developer-mh40616/mac. >Question: How can I make the export instructions in the Terminal window, without the need to reintroduce them every time? Ok, this is simple, just copy them in the .bash_profile file, I've updated the documentation describing how to do that. https://www.eiffel.org/doc/eiffelstudio/Mac_OS_X >Question: Could you suggest a way to launch the EiffelStudio gui window directly from the MacOs Finder, as a 'normal' application? Check the following tutorial https://www.lifewire.com/add-files-folder-and-apps-to-finder-toolbar-2260869 Hope this help Javier