Проблема: по ошибке/ из-за интереса установил плагин WakaTime в MonoDevelop.
При запуске MD он качает ZIP архив с GitHub, предварительно ругнувшись на сертификат, успешно скачивает, а потом или падает или замирает при попытке ввода параметров.
Переустановка MD не помогает (и с удалением кэша)
WakaTime продолжает числиться в
mdtool setup list
Пытаюсь удалить из консоли через
mdtool setup uninstall
но ему требуется ID, которой я не знаю, и не знаю как получить.
Где реально хранятся аддины? База аддинов? Как узнать AddIn-ID?
Зы. Ах и да, почему этот ваш мигелюшка не осуществляет суппорт клиентов в чатеге? Хотя все читает. Продался мелкосовту?