From 3fb803925b9d0c1c76191689a85200740b69e5f1 Mon Sep 17 00:00:00 2001 From: Markus Pfeiffer Date: Wed, 18 Oct 2017 10:48:27 +0100 Subject: [PATCH] Support finding GAP in $PATH --- etc/jupyter/jupyter-kernel-gap | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/etc/jupyter/jupyter-kernel-gap b/etc/jupyter/jupyter-kernel-gap index 6364c7d..87554a0 100755 --- a/etc/jupyter/jupyter-kernel-gap +++ b/etc/jupyter/jupyter-kernel-gap @@ -1,7 +1,17 @@ #!/bin/sh +GAP=`which gap` + +if [ x$GAP == x ] ; then + GAP=$JUPYTER_GAP_EXECUTABLE +fi +if [ x$GAP == x ] ; then + echo "Error: No executable GAP found" + exit +fi + echo "GAP Jupyter Kernel Starting" -$JUPYTER_GAP_EXECUTABLE -q <