[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Fatal error starting 1.5.2 on macOS Sierra, and a solution.

I have the latest macOS Sierra (10.12.3), and the latest eclipse (neon). On clicking on the TLA+ Toolbox Icon, I get the following fatal error on startup (The solution is below the dashed line) 

An Error has occurred:
See the log file  "/Users/s/.eclipse/698501535_macosx_cocoa_x86_64/configuration/1490551970188.log"

That log file has the following error. 
java.lang.IllegalStateException: The platform metadata area could not be written: /private/var/folders/0d/b53bnb157517vnlv234qsp980000gp/T/AppTranslocation/F9CF4821-41FE-4D2E-823F-54F8033F679F/d/TLA+ Toolbox.app/Contents/MacOS/workspace/.metadata.  By default the platform writes its content
under the current working directory when the platform is launched.  Use the -data parameter to
specify a different content area for the platform.


Solution: On the command-line
> open  "/Applications/TLA+ Toolbox.app/" --args -data /Users/s/work/tla 


Has anyone else seen this error?