Improve pre error handling
- Oct 06, 2020
-
-
Dr Adam Thorn authorede9250341
-
Dr Adam Thorn authored9f8b5dc4
-
Dr Adam Thorn authored33980780
-
Dr Adam Thorn authored
NB this is so we can put things in LOGFILE at earlier points than the script does at present
4a32235f -
Dr Adam Thorn authored
We capture the error code at a few points in the script, and then (intend to) log something about what went wrong. But if we set -e we immediately bail before logging anything useful!
5c0ee60b -
Dr Adam Thorn authored9af454d5
-