Install and run real geometry powered GeoGebra on a Linux box (a local Mathematica installation is required)

geogebra-realgeom-run

#!/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
 tar xzf $JDK_TGZ
 }
export JAVA_HOME=`pwd`/$JDK
GGB=0
test -d geogebra && GGB=1
if [ $GGB = 0 ]; then
 git clone --depth=1 git://github.com/kovzol/geogebra.git
 cd geogebra
else
 cd geogebra
 git pull
 fi
./gradlew :desktop:installDist
cd ..
RG=0
test -d realgeom && RG=1
if [ $RG = 0 ]; then
 git clone git://github.com/kovzol/realgeom.git
 cd realgeom
else
 cd realgeom
 git pull
 fi
./gradlew installDist
$TERMINAL -e "build/install/realgeom/bin/realgeom -s" &
# Waiting realgeom to launch on 8765...
while ! nc -z localhost 8765; do sleep 1; done
cd ..
cd geogebra/desktop/build/install/desktop/bin
./desktop --realgeomws=remoteurl:http\\://localhost\\:8765