files/geogebra-usrbin.patch

geogebra-usrbin.patch (text/plain), 690 bytes, created by Luca Versari on 2011-06-16 22:21:57 UTC

Patches geogebra to run from /opt/geogebra
*** a/geogebra	2011-06-16 23:47:15.386938184 +0200
--- b/geogebra	2011-06-16 23:46:42.375938193 +0200
***************
*** 8,14 ****
  #
  # GG_SCRIPTNAME=<name of originally called script to start GeoGebra> # If unset, name of this script will be used
  #
! # GG_PATH=<path of directory containing geogebra.jar> # If unset, path of this script will be used
  #
  # JAVACMD=<Java command> # If unset, java will be used
  
--- 8,14 ----
  #
  # GG_SCRIPTNAME=<name of originally called script to start GeoGebra> # If unset, name of this script will be used
  #
! GG_PATH=/opt/geogebra
  #
  # JAVACMD=<Java command> # If unset, java will be used