Ah, interesting. I'm holding off for a few days on trying that just to see if anyone wants me to dump any more information on what happened, but I'll definitely keep this in mind for installing when I do a fresh reinstall. Thanks!
On Friday, March 9, 2018 at 11:22:53 PM UTC-6, Steve Glaser wrote:I had a similar problem, also on High Sierra.Reinstalling the toolbox fixed that problem but created another one.MacOS complained that the newly installed toolbox app was damaged and offered to move it to the trash.Fix for that was as follows:1. Make sure you set the “Allow apps downloaded from App Store and identified developers” option (System Preferences -> Security & Privacy -> General).2. Temporarily disable system policy securitysudo spctl —master-disable3. Run the toolbox, answer the “yes I really want to run this” prompt. I exited the toolbox but I don’t think this was required for things to work.4. Re-enable system policy securitysudo spctl —master-enable5. You should be good to go (at least till the next toolbox update)
On Mar 9, 2018, 8:57 AM -0800, Laura Santamaria <nimb...@xxxxxxxxx>, wrote:
I updated the toolbox using the built-in updater today, and I now cannot open the toolbox at all. When I try, I get a popup that says:
An error has occurred.
See the log file
I cannot find any logs (I do not have a $HOME/.tlaplus directory at all) as noted on https://tla.msr-inria.inria.
fr/tlatoolbox/doc/trouble/, and I cannot find a .tlaplus directory anywhere on my machine. I'd love to provide a log if I could, but I don't know where else to look. trouble.html
I look to be getting the same issue as noted here: https://groups.google.com/d/
I can't tell what version of the toolbox I'm running because I didn't note down the update version before running the update. I dumped the information from the Info.plist file below in case that's useful.
MacOSX 10.13.3 (High Sierra)
Eclipse is not installed as an application (i.e., it does not appear in my Launchpad, and it is not listed as an installed application in the Applications directory).
$ /usr/libexec/java_home -V
Matching Java Virtual Machines (1):
1.8.0_121, x86_64: "Java SE 8" /Library/Java/
$ cat Info.plist
<?xml version="1.0" encoding="UTF-8" standalone="no"?
<string>Eclipse 4.7 for Mac OS X, Copyright IBM Corp. and others 2002, 2016. All rights reserved.</string
If I run it by drilling down into the MacOS directory in the Application Directory > TLA+ Toolbox, I can kinda see a trace, but I can't get more information than this as the terminal window closes if I click OK on the dialog box (the GUI):
IllegalStateException: Could not create a builder for the system bundle.
framework.EquinoxContainer.< init>(EquinoxContainer.java: 68)
adaptor.EclipseStarter. startup(EclipseStarter.java: 303)
NativeMethodAccessorImpl. invoke0(Native Method)
NativeMethodAccessorImpl. invoke( NativeMethodAccessorImpl.java: 62)
DelegatingMethodAccessorImpl. invoke( DelegatingMethodAccessorImpl. java:43)
Caused by: org.osgi.framework.
BundleException: A bundle is already installed with the name "org.eclipse.osgi" and version "3.12.0.v20170512-1932"
... 12 more
I will probably just remove and reinstall, but I thought I'd check here first in case folks want to drill down on the problem if they're seeing it elsewhere.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplu...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/
For more options, visit https://groups.google.com/d/