Isabelle2017 не может быть открыт, потому что это от неизвестного разработчика - PullRequest
0 голосов
/ 04 июля 2018

Настройки безопасности на моем MacBook Pro позволяют устанавливать только приложения из App Store и идентифицированных разработчиков. Эта политика была определена моим работодателем, которую я не могу изменить. Как следствие, я не могу запустить Isabelle2017. Я использую MacOS High Sierra против 10.13.5. Я скачал Изабель вчера с isabelle.in.tum.de.

  1. Есть ли планы исправить это в ближайшем будущем?
  2. У кого-нибудь есть обходной путь?

Спасибо!

Ответы [ 2 ]

0 голосов
/ 10 августа 2018

Спасибо, Виньеш, за очень хороший ответ. Однако для меня ваш ответ не сработал. И по очень простой причине: корпоративная политика моего работодателя заблокировала эту возможность.

Слишком плохо для меня, все сайты, предлагающие ответы на эту проблему, похоже, игнорируют, что могут быть корпоративные политики, которые блокируют это средство. Поэтому я потратил часы, чтобы понять, почему все эти ответы не сработали. Пока я случайно не наткнулся на нашего корпоративного политика, который предложил это объяснение ...

0 голосов
/ 04 июля 2018

Это мера безопасности Apple для предотвращения распространения вредоносного ПО.

Однако, если вы уверены в том, какое приложение используете, то решение для этого уже есть.

Когда вы попытаетесь запустить приложение, оно сообщит вам об ошибке, о которой вы упоминали здесь.

Закройте ошибку, откройте System Preferences, нажмите Security & Privacy.

Теперь вы можете заметить, что есть текст с надписью <your_app_name> was blocked because it was from an unidentified developer., за которым следует кнопка open anyway.

Щелкните по нему, и оно должно запустить ваше приложение. Обязательно используйте эту функцию только тогда, когда вы знаете, что вы открываете. иначе вы можете стать жертвой вредоносных программ или вымогателей.

...