Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

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

See original GitHub issue

Locate TLA+ Toolbox in Applications folder in Finder
Control+Right-Click > Open on TLA+ Toolbox
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
From now on the Toolbox can simply be started from the launcher

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

Issue Analytics

State:
Created 4 years ago
Reactions:2
Comments:6 (3 by maintainers)

Top GitHub Comments

2reactions

cartaziocommented, Jul 17, 2019

ctrl+click then open worked for me

0reactions

lemmycommented, Apr 23, 2020

## set password (requested from Apple) to talk to the notarization service
xcrun altool --store-password-in-keychain-item "AC_PASSWORD" -u "apple dev id" -p THEPASSWORDOBTAINEDFROMAPPLE

## Request notarization
xcrun altool --notarize-app --primary-bundle-id "org.lamport.tla.toolbox.product.product" --username "apple dev id" --password "@keychain:AC_PASSWORD" --file TLAToolbox-1.7.0-macosx.cocoa.x86_64.zip

## check status of REQUEST_ID returned by previous step.
xcrun altool --notarization-info REQUEST_ID --username "apple dev id" --password "@keychain:AC_PASSWORD"

Top Results From Across the Web

Apple can't check app for malicious software

Apple can't check app for malicious software. Using an app that can't be checked for malicious software might harm your Mac or compromise...

TLA+ & PlusCal в Twitter: „The #tlaplus 1.6.0 release has been ...

TLA+ Toolbox can't be opened because Apple cannot check it for malicious ... Locate TLA+ Toolbox in Applications folder in Finder Control+Right-Click >...

How To Fix Can't Be Opened Because Apple Cannot Check ...

Open Finder · Traverse through to “Applications” Folder · Highlight the software you are trying to Open · Press “control” · Right “Click”...

[Fix] can't be opened because apple cannot check it for ...

All Mac OS versions run on a technology called Gatekeeper, It's designed to ensure that only trusted software runs on your Mac.

Can't be opened because Apple cannot check it for ... - YouTube

Can't be opened because Apple cannot check it for malicious software | Mac 2020 FIX. Watch later. Share. Copy link.