diff options
| author | 2026-03-01 18:22:27 +0300 | |
|---|---|---|
| committer | 2026-03-01 18:55:20 +0300 | |
| commit | a10f83540a65ac44aecf9f2a16c0f06486c18566 (patch) | |
| tree | c51a915261dfffbc417515c897c20b10a1030937 /openide-bin | |
| parent | add: protoc v33.5 (diff) | |
| download | repo-a10f83540a65ac44aecf9f2a16c0f06486c18566.tar.gz repo-a10f83540a65ac44aecf9f2a16c0f06486c18566.tar.bz2 repo-a10f83540a65ac44aecf9f2a16c0f06486c18566.tar.xz repo-a10f83540a65ac44aecf9f2a16c0f06486c18566.zip | |
Diffstat (limited to 'openide-bin')
| -rw-r--r-- | openide-bin/Staplerfile | 47 | ||||
| -rw-r--r-- | openide-bin/openide.desktop | 11 |
2 files changed, 58 insertions, 0 deletions
diff --git a/openide-bin/Staplerfile b/openide-bin/Staplerfile new file mode 100644 index 0000000..0b8c8f9 --- /dev/null +++ b/openide-bin/Staplerfile @@ -0,0 +1,47 @@ +name="openide-bin" +version="253.28294.334.2" +release=1 +summary="OpenIDE открытая среда разработки для профессионалов" +desc="penIDE — бесплатная лицензионно чистая IDE на базе IntelliJ IDEA Platform с открытым исходным кодом. Вся инфраструктура для сборки и работы OpenIDE расположена в России. Для отправки статистики, поиска обновлений, подключения плагинов и т.д. среда разработки обращается только к серверам на территории РФ. В маркетплейсе OpenIDE с самого первого дня доступно более 300 плагинов." +homepage="https://openide.ru/" +maintainer="Alexander NeonXP Kiryukhin <i@neonxp.ru>" +architectures=('amd64') +license="AGPL-3" +sources=( + "https://download.openide.ru/$version/openIDE-$version.tar.gz" + "local:///openide.desktop" +) +checksums=("SKIP" "SKIP") +disable_network=1 +provides=('openide') + +build() { + mv openIDE-* openide +} + +package() { + install -d $pkgdir/opt/openide + 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" + + install -Dm644 bin/openide.png $pkgdir/usr/share/pixmaps/openide.png + install -Dm644 bin/openide.svg $pkgdir/usr/share/pixmaps/openide.svg + install-desktop $srcdir/openide.desktop + chmod -R ugo+rX $pkgdir/opt +} +files() { + files-find \ + "/opt/openide" \ + "/opt/openide/**/*" \ + "/usr/bin/openide" \ + "/usr/share/applications/openide.desktop" \ + "/usr/share/licenses/openide" \ + "/usr/share/licenses/openide/*" \ + "/usr/share/pixmaps/openide.png" \ + "/usr/share/pixmaps/openide.svg" +} diff --git a/openide-bin/openide.desktop b/openide-bin/openide.desktop new file mode 100644 index 0000000..8c677fe --- /dev/null +++ b/openide-bin/openide.desktop @@ -0,0 +1,11 @@ +[Desktop Entry] +Version=1.0 +Type=Application +Name=OpenIDE +Icon=/opt/openide/bin/openide.svg +Exec="/opt/openide/bin/openide.sh" %f +Comment=Capable and Ergonomic IDE for JVM +Categories=Development;IDE; +Terminal=false +StartupWMClass=openide-openide +StartupNotify=true |