diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-09-08 01:43:22 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-09-08 01:43:22 -0300 |
| commit | 228fc3b3d96fbdaedd8271e4a1441d96cf7d5792 (patch) | |
| tree | 2fd52fad969870e6c85169314b30b8f2c0369650 /libre/java7-openjdk/jre7-openjdk.profile | |
| parent | acc023c4976c160d288b39c7dc2cadcb153eddbc (diff) | |
{j{re,dk}{7,8}-openjdk,jre{7,8}-openjdk-headless}: add new packages to [libre] for branding reasons
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk.profile')
| -rw-r--r-- | libre/java7-openjdk/jre7-openjdk.profile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libre/java7-openjdk/jre7-openjdk.profile b/libre/java7-openjdk/jre7-openjdk.profile new file mode 100644 index 000000000..b267392e5 --- /dev/null +++ b/libre/java7-openjdk/jre7-openjdk.profile @@ -0,0 +1,4 @@ +export JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-7-openjdk/jre} + +# Enable this for non-reparenting window managers +#export _JAVA_AWT_WM_NONREPARENTING=1 |