Isabelle2017 can't be opened because it is from an unidentified developer - macos

The security preferences on my MacBook Pro allow installation of only apps from the App Store and identified developers. This policiy has been set by my employer, which I cannot change. As a consequence, I cannot run Isabelle2017. I'm running MacOS High Sierra vs. 10.13.5. I downloaded Isabelle yesterday from isabelle.in.tum.de.
Are there any plans of fixing this in the near future?
Does anyone have a workaround?
Thanks!

This is security measure by Apple to prevent the malware being spread.
However, if you are sure about the app you are using, then there is already a solution for this.
When you try to run the app, it will tell you the error which you've mentioned here.
Close the error, open System Preferences, click on Security & Privacy.
Now, you can observe that there is a text saying <your_app_name> was blocked because it was from an unidentified developer. followed by a open anyway button.
Click it and it should launch your app. Be sure to use this feature only when you know what you are opening. else you may become the victim of malware or ransomware.

Thanks Vignesh, for a very good answer. However, for me your answer did not work. And for a very simple reason: The corporate policy of my employer has blocked this possibility.
Too bad for me, all sites offering answers to this problem seem to ignore that there may be corporate policies that block this remedy. So I have spent hours to figure out why all these answers didn't work. Until I accidentally ran into our corporate policy maker, who offered this explanation...

Related

Security settings dialog does not list my app

My app requires to access the calendar. Up to Catalina that worked with the sandbox with no big issues. Now under Catalina the app does not show in the security settings:
I have set the Hardened Runtime with calendar access (also tried Sandbox with no different effects):
Since I believe this is related to that signing stuff, here's my setting:
Strangely enough I have another app which had been developed in parallel also using the calendar. And that app is listed in the security setting.
So likely I'm missing something. But what?
Try: reboot the Mac, try your app again. Sometimes, weird problems resolve by themselves after a reboot.
Edited: This is not meant to be a bad joke, or to insult the skill and capability of the person asking the question, but when I read:
Strangely enough I have another app which had been developed in parallel also using the calendar. And that app is listed in the security setting.
I assume the other app has a very similar or identical set-up and signing config, etc., otherwise the person asking the question would have tried changing something to make them similar or identical.
So it sounds like the kind of situation that doesn't make sense. I have a few (painful) memories when I rebooted my Mac and situations like that went away. I suspect that memory corruption, bugs in the OS, etc., can cause small failures as time goes on, and a fresh start can sometimes help.

Does running an example code from Swift learning resources really require enrolling in Mac developer program?

... or am I doing something wrong? (Yep. I was. Feel free to skip to the Update section.) I've read a couple of quickstart posts and was ready to dive into the "amazingly new language", so I visited https://developer.apple.com/swift/resources/ in order to get my hands on some nifty tutorials and what did I get? I downloaded a Lister XCode project, opened it, switched build target to My Mac, started the build and... all I got was a couple of windows telling me to become a developer for 99 bucks.
I'm pretty new to all this locked-in-itself Mac/OS X/whatever ecosystem and, coming here from mostly free and painful Linux, I find these little things really repulsive, so I hope that this problem is really in my head and I can run exemplary code without paying $99.
If this is an off-topic question, please point me in the right direction (except for the case when you think I should crawl into some dark corner and cry about how hard thing in real life are).
Update. This issue seems to have a happy ending. As some of you mentioned in the comment section and in your answers, I should've disable the code signing feature for the project in order to build and run it. The confusion was all mine when I did disable the signing procedure for the sub-projects that interested me (ListerOSX and its dependencies), but as it turned out, in order to successfully compile and launch the project, one also should disable signing for all the sub-projects (targets, whatever). E.g. if you are launching ListerOSX, make sure you've disabled signing for Lister Watch app etc.
Seeing as this was at least a bit subtle for me, of whom you might say 'Mac development newbie', I'd still ask you not to close the question but rather leave it open: should anyone else stumble into the same problem, my story might actually help.
Recent versions of Mac OS X will not allow software to run unless it is signed by a developer, or the user is technically savvy enough to bypass gatekeeper (which is not very hard. Just right click on the app and select "open", and then the unsigned software will run).
This is an attempt by Apple to block malware distribution. If malware is not signed, then users who are likely to fall for malware will not know how to make it run. If malware is signed, then Apple can can pass the signature (and associated contact details) to the FBI who will try to organise a lengthy jail term.
What this means for you, as a developer, is you need to either get a certificate or accept that your software will only run with gatekeeper turned off.
The normal mac developer program is $99/year and includes a whole bunch of stuff that makes it well worth the price. However there is a free "Developer ID" membership level that only gives you the ability to sign your apps.
So, you've got three options:
sign up for a free developer account and sign with that
sign up for a paid account
don't sign your code and accept that it will not pass gatekeeper. just disable code signing in your "release" builds. It's already disabled by default in "debug" builds.
Disable code signing via on all targets in the project settings. Code signing with an official Apple certificate requires a paid account. You can still sign your code to identify yourself as the author, but it will not pass Gatekeeper automatically and you will not be able to sign directly from Xcode.

Chrome Portable on read only device: Suppress read only warning

I'm making a windows app for a client using Chrome in kiosk mode. They'd like to burn the project to CD. While this works fine with chrome portable on a read access device it doesn't with a read only device. A warning pops up asking to temporarily copy it to the local drive to run from there. Clicking yes allows the program to work but i'd like to suppress this as they won't want to see it every time. Is there a way for me suppress the warning or cache to the cd before it's burned?
I need to use chrome, not another portable browser. I could be being naive and they're may be a better option than using Portable apps chrome download.
I asked the same question on the Portable apps website and got this response. It worked great although take note of the distribution license.
Add a text file called GoogleChromePortable.ini in your GoogleChromePortable folder that says
[GoogleChromePortable]
RunLocally=true
this will make it copy the profile to the temp folder on the computer and run from there whether it's in read only place or not.
also notice Johns reminder in Pyromaniac's thread (http://portableapps.com/node/37168#comment-207403) - giving someone, especially a "customer" a copy of Google Chrome, Portable or otherwise, is illegal, don't do it.
Link to forum
http://portableapps.com/node/37164#comment-207482
I've investigated the license agreement and found this
21.2 Subject to the Terms, and in addition to the license grant in Section 9, Google grants you a non-exclusive, non-transferable license to reproduce, distribute, install, and use Google Chrome solely on machines intended for use by your employees, officers, representatives, and agents in connection with your business entity, and provided that their use of Google Chrome will be subject to the Terms.
So legal as long as it's kept internal. Works great if anyone ever stumbles on this question. Chrome makes an awesome portabl app.
To get around user policies you can try a pretty software does what you want.
http://codecanyon.net/item/html5-2-desktop-app-converter/4527199
This uses chrome engine and creates kiosk like portable engine for your given URL or local files. It makes pages looking like windows application. Hope helps.
Note: I'm not the author :)
Here's a link to where I got something that worked for me.
In the Support section, there is a performance note that advices copying GoogleChromePortable.ini from the GoogleChromePortable\Other\Source directory to the GoogleChromePortable directory and editing it to set RunLocally=true in order to increase performance, well this sorts out the warning that pops up.
However take note of the privacy implications of doing this as also stated in the same section.
Hope this helps someone.
You could try Chromium (portable) which also includes chromedriver from chromium snapshots page. Pick one with the biggest number (scroll down):
https://commondatastorage.googleapis.com/chromium-browser-snapshots/index.html?prefix=Win_x64/

Allow HID control for the sandboxed app

We're trying to sandbox our app to submit it to the Mac App Store (for the first time). It makes hard use of the lower level Carbon APIs and cannot operate the other way.
When I enabled the sandboxing, some features stopped working and I see this message in the log:
9/14/12 10:51:58.863 PM sandboxd[41243]: ([41237]) MouseRecorder(41237) deny hid-control
Is there any hidden entitlement I could use or we have no chance in the App Store with this app?
Even though I'm several years too late, I assume I can help others looking for the same. It's taken me days wondering why I couldn't connect to the keyboard. Today, the thought of the sandbox hit me, and I finally allowed my app access.
As described here, I added the following to the .entitlements file, and got access.
<key>com.apple.security.device.usb</key>
<true/>
To be specific, and not mislead:
I do not use Carbon; I use IOKit.hid, with Swift.
EDIT: See the new accepted answer
Just to answer my own question – it's not possible, there is no workaround and it's unlikely it will be possible in the future.

High network activity while running Xcode, could it be a virus?

I use osx86 to develop software. I download and install iantares v2.2 (snow leopard 6.3.3) and xcode 3.2.3 with ios sdk 4.0 dmg. When I use xcode open my project and build it, I find the light on router begin flash, after I close xcode, the light stops flash. If I only open xcode and open my project, the router light won't flash, it flashes only when I build my project.
I google on the net and find nothing about virus or trojan with xcode, but how to explain what I see?
You're using pirated software, from a third party source, installed in contravention of its licence agreement. So don't rule out a trojan.
That said, it's more likely Xcode's distcc-related distributed build feature. It's probably just looking for other machines to distribute the workload with; at least in Xcode 4 you get to pick whether your machine will help others but I can't see anything obvious to disable it looking for help for itself.
You may want to ask a question on Serverfault regarding troubleshooting network activity.
If your "router light" is "flashing", there are so many possible causes. You would need something like Wireshark to begin to diagnose what is happening on your network. It's most likely as zoul suggests, an update or a licence check or something similar that Xcode is performing. Also, most likely nothing to worry about.
Link to Wireshark

Resources