From 9647bc97854295ac9f4982591da7675900bb3d2b Mon Sep 17 00:00:00 2001 From: David Rotermund <54365609+davrot@users.noreply.github.com> Date: Sun, 15 Jan 2023 00:51:23 +0100 Subject: [PATCH] Delete run_spikes.sh --- run_spikes.sh | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 run_spikes.sh diff --git a/run_spikes.sh b/run_spikes.sh deleted file mode 100644 index cbcab3b..0000000 --- a/run_spikes.sh +++ /dev/null @@ -1,19 +0,0 @@ -python=~/P3.10GPU/bin/python3 - -if [ -f "./def.json" ] -then - echo "json file found" -else - echo "No json file exists" - exit -fi - - -$python learn_it.py def.json -status=$? -if [ $status != "0" ] -then - echo "Problem detected (learn_it.py)!!!" - exit 1 -fi -