From 7f956da5c24d0d64a51db4e786ee1e7331966a40 Mon Sep 17 00:00:00 2001 From: Raphael Jolly Date: Sat, 3 Feb 2024 12:48:22 +0100 Subject: [PATCH] empty --- readme.txt | 3 ++- src/main/resources/linoleum/Background.properties | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/readme.txt b/readme.txt index f779992e..4c8e5ab1 100644 --- a/readme.txt +++ b/readme.txt @@ -47,7 +47,8 @@ To publish an application: To use linoleum as your desktop environment in Linux: wget http://raphael.jolly.free.fr/linoleum/linoleum-1.6-bookworm.deb - sudo apt-get install default-jdk ivy libcommons-codec-java libmail-java libjava3d-java + sudo apt-get install openjdk-17-jdk openjdk-17-doc ivy libcommons-codec-java libmail-java libjava3d-java + sudo ln -s /usr/share/doc/openjdk-17-jdk /usr/lib/jvm/java-17-openjdk-amd64/docs sudo dpkg -i linoleum-1.6-bookworm.deb You might have to enable TCP connections to your X server. In /etc/gdm3/daemon.conf: diff --git a/src/main/resources/linoleum/Background.properties b/src/main/resources/linoleum/Background.properties index 5eccc8e3..7ad02f96 100644 --- a/src/main/resources/linoleum/Background.properties +++ b/src/main/resources/linoleum/Background.properties @@ -1,2 +1,2 @@ theme=Ocean -contents=file:${java.home}/../docs/api/index.html +contents=file:${java.home}/docs/api/index.html