gen-header.sh 358 B

1234567891011121314
  1. #!/bin/sh
  2. curl "http://papuasia.org/prcd/prcd_cri.txt" | awk '{
  3. gsub(/\"/, "\\\"", $0)
  4. print "\t\""$0"\\n\","
  5. }' > prcd_cri.txt
  6. n_bestemmie=$(cat prcd_cri.txt | wc -l)
  7. echo "#define N_BESTEMMIE $n_bestemmie" > bestemmie.h
  8. echo "const char *bestemmie[] = {" >> bestemmie.h
  9. cat prcd_cri.txt >> bestemmie.h
  10. echo "};" >> bestemmie.h
  11. rm prcd_cri.txt