Isabelle2017无法打开,因为它来自身份不明的开发人员

时间:2018-07-04 05:58:55

标签: macos isabelle failed-installation

我的MacBook Pro上的安全性首选项仅允许安装来自App Store和指定开发人员的应用程序。这项政策是我的雇主制定的,我无法更改。结果,我无法运行Isabelle2017。我正在运行MacOS High Sierra与10.13.5。我昨天从isabelle.in.tum.de下载了Isabelle。

  1. 是否有计划在不久的将来解决此问题?
  2. 有人可以解决吗?

谢谢!

2 个答案:

答案 0 :(得分:1)

这是Apple防止恶意软件传播的安全措施。

但是,如果您确定正在使用的应用程序,那么已经有解决方案。

当您尝试运行该应用程序时,它将告诉您此处提到的错误。

关闭错误,打开System Preferences,单击Security & Privacy

现在,您会发现其中有一个文字<your_app_name> was blocked because it was from an unidentified developer.,后跟一个open anyway按钮。

单击它,它将启动您的应用程序。确保仅在知道要打开的内容时才使用此功能。否则您可能成为恶意软件或勒索软件的受害者。

答案 1 :(得分:0)

非常感谢Vignesh。但是,对我来说,您的答案无效。出于一个非常简单的原因:我雇主的公司政策阻止了这种可能性。

对我来说太可惜了,所有提供此问题答案的站点似乎都忽略了可能存在阻止该补救措施的公司政策。所以我花了几个小时弄清楚为什么所有这些答案都没有用。直到我偶然遇到我们的公司决策者,他提供了这个解释...