IDE hangs on startup: "discovery teensy:teensy-discovery not found"

[ptillisch]

@olivercss

[platform-index] - code: 9, message: Error loading hardware platform: discovery teensy:teensy-discovery not found

    at /Applications/Arduino IDE.app/Contents/Resources/app/lib/backend/main.js:2:586141
    at _.evaluateErrorStatus (/Applications/Arduino IDE.app/Contents/Resources/app/lib/backend/main.js:2:586157)
    at process.processTicksAndRejections (node:internal/process/task_queues:95:5)
    at async s.<anonymous> (/Applications/Arduino IDE.app/Contents/Resources/app/lib/backend/main.js:2:585827)

There is a problem with your installation of the Teensy boards platform. One of the tools it uses ("teensy-discovery") is missing.

The tool should be located at this path:

/Users/oliverpetragallo/Library/Arduino15/packages/teensy/tools/teensy-discovery/1.58.0/teensy-discovery

When others have reported this type of problem in the past, the cause was often found to be that a false positive caused the user's antivirus or security software to quarantine the file during the platform installation. Please check your security software's quarantine. If you can restore the file from quarantine and then restart Arduino IDE, you should find that it is able to start up.

If so, I also recommend adjusting the configuration of your security software so that it won't interfere with any future updates of the tool.

If you are unable to restore the file from quarantine, just comment here to let me know and I'll provide some alternative instructions you can follow to force Arduino IDE to make a fresh installation of the tool.