From 0330b48d8926e349829e24fb563e7cd625ca6a93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A1si=20Istv=C3=A1n?= <isiandrasi@gmail.com>
Date: Wed, 18 Mar 2020 00:10:00 +0100
Subject: [PATCH] jetbrains-jdk-bin: add profile script to set 'IDEA_JDK'

---
 srcpkgs/jetbrains-jdk-bin/template | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/jetbrains-jdk-bin/template b/srcpkgs/jetbrains-jdk-bin/template
index 5aa7bf45b04..9ce320e76ca 100644
--- a/srcpkgs/jetbrains-jdk-bin/template
+++ b/srcpkgs/jetbrains-jdk-bin/template
@@ -1,7 +1,7 @@
 # Template file for 'jetbrains-jdk-bin'
 pkgname=jetbrains-jdk-bin
 version=11.0.6b770.9
-revision=1
+revision=2
 archs="x86_64"
 wrksrc="jbrsdk"
 hostmakedepends="wget"
@@ -31,4 +31,9 @@ do_install() {
 	vcopy legal ${TARGET_PATH}
 	vcopy lib ${TARGET_PATH}
 	vcopy release ${TARGET_PATH}
+
+	vmkdir etc/profile.d
+	cat > ${DESTDIR}/etc/profile.d/10_jbrsdk.sh <<EOF
+export IDEA_JDK=\${IDEA_JDK=/usr/lib/jvm/jbrsdk}
+EOF
 }