From 16f5949220845c94f06f2ed154677f745c1dc576 Mon Sep 17 00:00:00 2001 From: Jing Liu Date: Tue, 12 Dec 2023 22:08:34 -0600 Subject: [PATCH] stopped bash exiting in gears.sh --- gears.sh | 17 ++--------------- 1 file changed, 2 insertions(+), 15 deletions(-) diff --git a/gears.sh b/gears.sh index 369f329..f30c6ff 100644 --- a/gears.sh +++ b/gears.sh @@ -1,17 +1,4 @@ #!/bin/bash - -# quit if geant4-config cannot be found -if ! hash geant4-config 2>/dev/null; then - echo Do not forget to source geant4.sh; exit -fi - # add gears directory to PATH -export GEARS="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" -export PATH=$GEARS/tutorials/detector/visualization:$GEARS:$PATH - -# print missing databases -while read line; do - database=`echo $line | awk '{print $2}'` - if [ $database = "NOTFOUND" ]; then echo $line; fi -done <<< "$(geant4-config --check-datasets)" - +GEARS="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +export PATH=$GEARS/tutorials/detector/visualization:$GEARS:$PATH \ No newline at end of file