Email Gateway (Aug 22 2022 at 13:29): Email Gateway (Aug 22 2022 at 13:29):From: Alexandre Rademaker <arademaker@gmail.com>
It looks like the Isabelle2016.dmg has some problems with access rights. After the installation, once I clicked in the Isabelle2016.app the system replied with a message 'The application is damaged'.
I fixed the problem with
$ cd /Applications
$ sudo xattr -rc Isabelle2016.app
Following http://apple.stackexchange.com/questions/58050/damaged-and-cant-be-open-app-error-message suggestion.
Best,
Email Gateway (Aug 22 2022 at 13:47):From: Makarius <makarius@sketis.net>
On 29/06/16 16:02, Alexandre Rademaker wrote:
It looks like the Isabelle2016.dmg has some problems with access rights. After the installation, once I clicked in the Isabelle2016.app the system replied with a message 'The application is damaged'.
I am responsible for the dmg/app bundling (since approx. 2009), but I
have never heard of such a problem before. The normal situation is that
Apple's default security settings reject our unsigned application.
Most people somehow manage to figure out that a right click or left
click with CONTROL is required to popup the application menu and "Open"
the program there.
$ cd /Applications
$ sudo xattr -rc Isabelle2016.appFollowing http://apple.stackexchange.com/questions/58050/damaged-and-cant-be-open-app-error-message suggestion.
I wonder if this trick is related to security settings at all (Apple
GateKeeper) or something else. Maybe file attributes somehow got lost
when unpacking the dmg.
Do you have anything special in your OS X installation? Maybe a
non-standard file-system.
Which version of OS X is it anyway?
Makarius
Email Gateway (Aug 22 2022 at 13:50):From: Alexandre Rademaker <arademaker@gmail.com>
Hi Makarius,
On Jul 2, 2016, at 8:10 AM, Makarius <makarius@sketis.net> wrote:
On 29/06/16 16:02, Alexandre Rademaker wrote:
It looks like the Isabelle2016.dmg has some problems with access rights. After the installation, once I clicked in the Isabelle2016.app the system replied with a message 'The application is damaged'.
I am responsible for the dmg/app bundling (since approx. 2009), but I
have never heard of such a problem before. The normal situation is that
Apple's default security settings reject our unsigned application.Most people somehow manage to figure out that a right click or left
click with CONTROL is required to popup the application menu and "Open"
the program there.
Yes, that is the normal solution.
$ cd /Applications
$ sudo xattr -rc Isabelle2016.appFollowing http://apple.stackexchange.com/questions/58050/damaged-and-cant-be-open-app-error-message suggestion.
I wonder if this trick is related to security settings at all (Apple
GateKeeper) or something else. Maybe file attributes somehow got lost
when unpacking the dmg.Do you have anything special in your OS X installation? Maybe a
non-standard file-system.Which version of OS X is it anyway?
I am using El Capitan. The only main non-standard configuration is the use of FileVault file system encript.
Best,
Last updated: Apr 20 2024 at 08:16 UTC