From 70a1c6e6a7abec2e593b01a24d100939165b5b20 Mon Sep 17 00:00:00 2001 From: Gerben Jan Dijkman Date: Fri, 1 Jul 2022 15:50:25 +0200 Subject: [PATCH] Added files --- dev-db/sqldeveloper/files/sqldeveloper-r1 | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 dev-db/sqldeveloper/files/sqldeveloper-r1 diff --git a/dev-db/sqldeveloper/files/sqldeveloper-r1 b/dev-db/sqldeveloper/files/sqldeveloper-r1 new file mode 100644 index 0000000..7173cbb --- /dev/null +++ b/dev-db/sqldeveloper/files/sqldeveloper-r1 @@ -0,0 +1,10 @@ +#!/bin/bash +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +# skip their stupid [ -f `which java` ] test, which will always fail on Gentoo +export APP_SKIP_J2SE_TEST=1 +export GENTOO_VM=$( eval $(gjl --get-vm -p sqldeveloper) && echo ${gjl_vm} ) +export JAVA_HOME=$(java-config -o) + +cd /opt/sqldeveloper/sqldeveloper/bin && exec bash sqldeveloper $@