mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-05 06:33:50 +02:00
jetbrains-jdk-bin: add profile script to set 'IDEA_JDK'
This commit is contained in:
parent
6e78a3ef82
commit
0330b48d89
1 changed files with 6 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'jetbrains-jdk-bin'
|
# Template file for 'jetbrains-jdk-bin'
|
||||||
pkgname=jetbrains-jdk-bin
|
pkgname=jetbrains-jdk-bin
|
||||||
version=11.0.6b770.9
|
version=11.0.6b770.9
|
||||||
revision=1
|
revision=2
|
||||||
archs="x86_64"
|
archs="x86_64"
|
||||||
wrksrc="jbrsdk"
|
wrksrc="jbrsdk"
|
||||||
hostmakedepends="wget"
|
hostmakedepends="wget"
|
||||||
|
@ -31,4 +31,9 @@ do_install() {
|
||||||
vcopy legal ${TARGET_PATH}
|
vcopy legal ${TARGET_PATH}
|
||||||
vcopy lib ${TARGET_PATH}
|
vcopy lib ${TARGET_PATH}
|
||||||
vcopy release ${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
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Reference in a new issue