Groups > linux.debian.maint.java > #12252

Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop.

From	Thorsten Glaser <t.glaser@tarent.de>
Newsgroups	linux.debian.bugs.dist, linux.debian.maint.java
Subject	Bug#990534: arduino: Arduino-IDE not starting witch Cinnamon Desktop.
Date	2021-07-10 19:00 +0200
Message-ID	<CzouC-3vL-5@gated-at.bofh.it> (permalink)
References	(4 earlier) <CxxVn-wr-5@gated-at.bofh.it> <Czht7-7xh-7@gated-at.bofh.it> <Czht7-7xh-5@gated-at.bofh.it> <Cw5ot-7XS-1@gated-at.bofh.it> <Czht7-7xh-5@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

On Sat, 10 Jul 2021, Carsten Schoenert wrote:

> ensure users have also installed openjdk-11-jre to get Arduino IDE working.

Or 17?

If you need to ensure a minimum version, do this (/bin/sh-safe):


if test "$(java -XshowSettings:properties -version 2>&1 | \
    sed -n '/^    java.version = \([0-9]*\)\..*$/s//\1/p')" -lt 11; then
	echo >&2 "E: Either no JRE found or JRE too old (<11):"
	java -version
	exit 1
fi


The command substitution evaluates to the first number before
a period in the version, which is either 1 (from 1.8.x) or 8
for JRE 8, 11 for JRE 11, and obviously larger for later ones.
If none, it evaluates to empty, which test … -lt interprets as
zero which will also work.

Please submit this to the Arduino IDE maintainer.

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 | Find similar

Thread

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