diff options
Diffstat (limited to '')
| -rw-r--r-- | openide-bin/Staplerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/openide-bin/Staplerfile b/openide-bin/Staplerfile index 0b8c8f9..95f15c3 100644 --- a/openide-bin/Staplerfile +++ b/openide-bin/Staplerfile @@ -1,5 +1,5 @@ name="openide-bin" -version="253.28294.334.2" +version="253.28294.334.8" release=1 summary="OpenIDE открытая среда разработки для профессионалов" desc="penIDE — бесплатная лицензионно чистая IDE на базе IntelliJ IDEA Platform с открытым исходным кодом. Вся инфраструктура для сборки и работы OpenIDE расположена в России. Для отправки статистики, поиска обновлений, подключения плагинов и т.д. среда разработки обращается только к серверам на территории РФ. В маркетплейсе OpenIDE с самого первого дня доступно более 300 плагинов." @@ -24,7 +24,7 @@ package() { install -d $pkgdir/usr/bin cd openide cp -aR bin lib jbr plugins license LICENSE.txt build.txt product-info.json "$pkgdir/opt/openide/" - + install-license LICENSE.txt openide/LICENSE.txt ln -s "/opt/openide/bin/openide.sh" "$pkgdir/usr/bin/openide" |