pkgbase = webstorm pkgdesc = JavaScript IDE and HTML editor. pkgver = 2018.1.2 pkgrel = 1 url = https://www.jetbrains.com/webstorm/ arch = x86_64 arch = i686 license = Commercial makedepends = rsync options = !strip source = https://download.jetbrains.com/webstorm/WebStorm-2018.1.2.tar.gz source = jetbrains-webstorm.desktop sha512sums = 5989a9a34eee3cc5cb4a11f86fc11c4a7de0bbfe68d4a203ccff21f0a613d900791ee4b470a32c5cebb138b5ef0a4451ed3b0c9e5319c930a634ebb939fd24d1 sha512sums = e261eb9b7fe61518d3399874492c94b642cb8268861c246692887ef3027380af06b7e692d6733340deebb629a3c8d095364cb6def4071cd5af31cfbfe9ec6b68 pkgname = webstorm optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended) optdepends = java-runtime>=8: JRE - Required if webstorm-jre is not installed optdepends = gnome-keyring: save login/deployment credentials safely pkgname = webstorm-jre