Skip to content

Instantly share code, notes, and snippets.

View kovzol's full-sized avatar

Zoltán Kovács kovzol

View GitHub Profile
@kovzol
kovzol / geogebra-realgeom-run
Last active October 30, 2019 22:27
Install and run real geometry powered GeoGebra on a Linux box (a local Mathematica installation is required)
#!/bin/sh -x
JDK=jbr
JDK_TGZ=jbr-11_0_4-linux-x64.tar.gz
TERMINAL=gnome-terminal
set -e
mkdir -p geogebra-realgeom
cd geogebra-realgeom
test -d $JDK || {
wget http://dev.geogebra.org/download/installer/jdk/$JDK_TGZ