-decode_string() {
- tmp="${1#\"}" # Trim leading quote
- tmp="${tmp%\"}" # Trim traling quote
- printf "%s" "$(echo "$tmp" | sed -e 's/\\n/\
-/g' -e 's/\\\"/\"/g')" # Replace \n with literal newline and \" with "
-}
-
-# Reads a file from programs/, calls check_file on each file specified for the program
-check_program() {
- PROGRAM=$1
-