Ответ 1
Это обходной путь, который я нашел. Чтобы быть ясным: это не то, что я искал, просто самое близкое решение, которое я нашел до сих пор.
Здесь можно скачать плагины для IntelliJ IDEA: http://plugins.jetbrains.com/?idea_ce Например, вот плагин Scala: http://plugins.jetbrains.com/plugin/1347?pr=idea_ce. Каждая версия имеет прямую ссылку.
После загрузки извлеките zip файл в ~/.IdeaIC13/config/plugins (в зависимости от платформы и версии IntelliJ, которую вы запускаете, конечно).
Что это. С шаткой комбинацией wget и unzip можно установить плагин через командную строку. Очевидно, что это отличное решение: для моего варианта использования (например, предоставления рабочей станции через шеф-повара) мне нужно заранее знать URL-адрес определенного плагина, и мне нужно знать версию IntelliJ (чтобы определить папку конфигурации в домашнем доме пользователя).