blob: 2dfcffbf0af0b23090df471ae83e047da8f25330 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
pkgbase = webstorm
pkgdesc = JavaScript IDE and HTML editor.
pkgver = 2019.2.4b192.7142.35
pkgrel = 1
url = https://www.jetbrains.com/webstorm/
arch = x86_64
arch = i686
license = Commercial
depends = glib2
options = !strip
source = https://download.jetbrains.com/webstorm/WebStorm-2019.2.4.tar.gz
source = jetbrains-webstorm.desktop
sha512sums = acbafd2173122928fc433df4e4bf66ec9c67d79b9acd8fae22b5a446c90e06a14182ff93e0ecfc51419e59a9650bb64dd3de1a13d151c476becd977ddd30fa5e
sha512sums = 3635b8b6787aae583742e95de7d26d0f80b857f48143898e5963f219d1d4ec8b4cb8e37ce3f058324bb5a253b883c2610be848e883576896c67030e9a36be7e6
pkgname = webstorm
optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended)
optdepends = java-runtime: JRE - Required if webstorm-jre is not installed
optdepends = gnome-keyring: save login/deployment credentials safely
pkgname = webstorm-jre
pkgdesc = JBR (JetBrains Runtime) for WebStorm - a patched JDK
url = https://confluence.jetbrains.com/display/JBR/JetBrains+Runtime
|