Итак, я экспериментирую с Ubuntu 12.04 после использования ArchLinux в течение последних двух лет или около того. Я ищу пакет Ubuntu для Alloy Analyzer и не могу его найти.
Мне трудно поверить, что репозитории пакетов Arch более полны, чем репозитории Ubuntu, поэтому я предполагаю, что я просто дурачок. Я не могу найти его через центр программного обеспечения или apt-cache search
, хотя. Какие-либо предложения? Я считаю, что пакет Arch может быть в AUR, есть ли в Ubuntu аналог?
Спасибо
Я полагаю, что пакет Arch может быть в АУРЕ, Ubuntu имеет эквивалент?
Эквивалент для Пользовательских Репозиториев Дуги" в Ubuntu называют PPAs (персональные архивы пакета). См. https://launchpad.net/ubuntu / + ppas для получения дополнительной информации.
Тем не менее я не нашел PPAs, содержащего Сплав Анализатор. Возможно, причиной, почему то, потому что вся "установка" ее требует действительно ли загрузки и выполнения, является файл JAR?
Единственное обновление/проверка, которого можно потребовать, является простым wget
проверять на и загружать более новую версию:
wget -N http://alloy.mit.edu/alloy/downloads/alloy4.jar
время от времени. Или сделайте это заданием крона, если Вы желаете :)
Может быть, это глупое предложение, но вы пытались загрузить файл jar и запустить его?