check for csvgrep

pad-to-edit.sh

@@ -7,6 +7,14 @@ wget https://pad.xpub.nl/p/radioworm-20231107/export/txt -O radioworm-20231107.p
 python3 scripts/split-urls-csv.py < radioworm-20231107.pad.txt | \
 python3 scripts/csv-add-end.py > radioworm-20231107.csv
 
+# check if csvgrep is installed
+if ! csvgrep --help &> /dev/null
+then
+    echo "csvgrep could not be found, install csvtoolkit with pip or apt"
+    exit 1
+fi
+
+
 # Filter the CSV with a keyword
 csvgrep -c text -m "#intro" radioworm-20231107.csv > radioworm-20231107.intro.csv