3 function extract() { grep '^\(msgid\|"\)' "$1" | grep -v "POT-Creation-Date" | sort -u; }
7 trap "/bin/rm -f -- \"$OLDTMP\" \"$NEWTMP\"" 0 1 2 3 13 15
9 extract "$1" >"$OLDTMP"
10 extract "$2" >"$NEWTMP"
12 shift 2 # additional args for diff
13 diff -u0 "$@" "$OLDTMP" "$NEWTMP"