Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop.
On Mon, 5 Jul 2021, Carsten Schoenert wrote:
> > $ ls -la /usr/bin/java
> > lrwxrwxrwx 1 root root 22 19. Jun 2017 /usr/bin/java -> /etc/alternatives/java
> > $ ls -la /etc/alternatives/java
> > lrwxrwxrwx 1 root root 43 8. Nov 2018 /etc/alternatives/java -> /usr/lib/jvm/java-11-openjdk-amd64/bin/java
You can also use 「readlink -f $(which java)」, which finds
the java binary from $PATH. Do also manually inspect the
output of 「which -a java」 which shows all java binaries
reachable from $PATH, and whether any of the environment
variables, like $JAVA_HOME, are set (they shouldn’t, in a
normal Debian installation with one JRE installed).
> I've recently discovered similar problems elsewhere and I needed to
> reinstall the openjdk packages. So it's possible that some symlinking
> isn't correct.
You should use update-java-alternatives for that.
> It's also possible that something is changing the variable JAVA_OPTIONS
> that is finally used in the wrapper.
>
> You can simply add a line like this right before the last line in the
> wrapper script.
>
> > JAVA_OPTIONS+=("-splash:$APPDIR/lib/splash.png")
> > fi
> >
> > +echo "Using JAVA_OPTIONS: $JAVA_OPTIONS"
This will show only the first array element. You’ll need:
echo "Using JAVA_OPTIONS: ${JAVA_OPTIONS[*]}"
> > "$JAVA" "${JAVA_OPTIONS[@]}" processing.app.Base "$@"
>
> Then please call arduino again from CLI.
bye,
//mirabilos
--
Infrastrukturexperte • tarent solutions GmbH
Am Dickobskreuz 10, D-53121 Bonn • http://www.tarent.de/
Telephon +49 228 54881-393 • Fax: +49 228 54881-235
HRB AG Bonn 5168 • USt-ID (VAT): DE122264941
Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg
*************************************************
Mit dem tarent-Newsletter nichts mehr verpassen: www.tarent.de/newsletter
*************************************************
Reply to: