Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TLA+ Toolbox can't be opened because Apple cannot check it for malicious software. #320

Open
lemmy opened this issue Jun 10, 2019 · 5 comments
Open

Comments

@lemmy
Copy link
Member

@lemmy lemmy commented Jun 10, 2019

Screen Shot 2019-06-09 at 7 07 59 PM

  1. Locate TLA+ Toolbox in Applications folder in Finder
  2. Control+Right-Click > Open on TLA+ Toolbox
  3. The TLA+ Toolbox can't be opened because Apple cannot check it for malicious software. dialog now has an Open button which opens the Toolbox
  4. From now on the Toolbox can simply be started from the launcher

Screen Shot 2019-06-09 at 7 09 07 PM

See "Install an app from an unidentified developer " section.

@lemmy lemmy pinned this issue Jun 10, 2019
@cartazio

This comment has been minimized.

Copy link

@cartazio cartazio commented Jul 12, 2019

same issue here ...

@lemmy

This comment has been minimized.

Copy link
Member Author

@lemmy lemmy commented Jul 12, 2019

@cartazio Did the steps outlined above solve the issue for you?

@cartazio

This comment has been minimized.

Copy link

@cartazio cartazio commented Jul 17, 2019

ctrl+click then open worked for me

@bgamari

This comment has been minimized.

Copy link

@bgamari bgamari commented Nov 27, 2019

For the record, I have collected some general resources that might be useful for maintainers facing this issue here.

@lemmy

This comment has been minimized.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
3 participants
You can’t perform that action at this time.