Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.maint.java > #12248
| From | Thorsten Glaser <t.glaser@tarent.de> |
|---|---|
| Newsgroups | linux.debian.maint.java, linux.debian.bugs.dist |
| Subject | Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. |
| Date | 2021-07-05 18:10 +0200 |
| Message-ID | <Cxzkt-1vS-3@gated-at.bofh.it> (permalink) |
| References | (1 earlier) <CwLe1-2Ip-1@gated-at.bofh.it> <CxrZE-5cf-13@gated-at.bofh.it> <Cw5ot-7XS-1@gated-at.bofh.it> <CxrZD-5cf-9@gated-at.bofh.it> <CxxVn-wr-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
Cross-posted to 2 groups.
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
*************************************************
Back to linux.debian.maint.java | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. Rock Storm <rockstorm@gmx.com> - 2021-07-05 10:20 +0200
Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. Carsten Schoenert <c.schoenert@t-online.de> - 2021-07-05 17:10 +0200
Re: Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. Thorsten Glaser <t.glaser@tarent.de> - 2021-07-05 18:10 +0200
Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. Carsten Schoenert <c.schoenert@t-online.de> - 2021-07-10 11:30 +0200
Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop. Thorsten Glaser <t.glaser@tarent.de> - 2021-07-10 19:00 +0200
csiph-web