Important changes to forums and questions
All forums and questions are now archived. To start a new conversation or read the latest updates go to forums.mbed.com.
All forums and questions are now archived. To start a new conversation or read the latest updates go to forums.mbed.com.
You get an unhelpful error "the installation failed".
Check /var/log/install.log and you find:
019-08-10 12:56:17+01 tim-mbp installd[439]: PackageKit: Executing script "./postinstall" in /private/tmp/PKInstallSandbox.KWbHZw/Scripts/com.arm.mbed.studio.iV1Nf3 2019-08-10 12:56:17+01 tim-mbp installd[439]: ./postinstall: mv: rename /Applications/Mbed Studio.app/Contents/tools to mbed-studio-tools: No such file or directory