Re: [isabelle] MacOS and Isabelle2016



Hi Makarius,


> On Jul 2, 2016, at 8:10 AM, Makarius <makarius at 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.app
>> 
>> Following 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,

--
Alexandre Rademaker
http://arademaker.github.io <http://arademaker.github.io/>
http://researcher.ibm.com/person/br-alexrad <http://researcher.ibm.com/person/br-alexrad>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.