doc/codes.sh

   1 #!/bin/sh
   2 cd "$(dirname "$0")/../" || exit 1
   3
   4 echo
   5 echo Todo
   6 grep -F Logr.err */*.ml \
   7 | grep -ovE "E\.[e]+[0-9]{4}"
   8 # | cut -d ':' -f1
   9
  10 echo Duplicates?
  11 grep -F Logr.err */*.ml \
  12 | grep -oE "E\.[e]+[0-9]{4}" \
  13 | sort \
  14 | uniq -c \
  15 | sort