equal
deleted
inserted
replaced
40 done |
40 done |
41 ) |
41 ) |
42 |
42 |
43 CHECKSUM=`md5sum "$T1"` |
43 CHECKSUM=`md5sum "$T1"` |
44 $EDITOR "$T1" "$T2" || cleanup_exit $? |
44 $EDITOR "$T1" "$T2" || cleanup_exit $? |
45 echo "$CHECKSUM" | md5sum -c --status && cleanup_exit 13 |
45 echo "$CHECKSUM" | md5sum -c 2>/dev/null && cleanup_exit 13 |
46 { |
46 { |
47 head -n 1 "$T1" |
47 head -n 1 "$T1" |
48 echo |
48 echo |
49 grep -v "^HG:" "$T1" | gpg -t -a -u "${HGUSER}" --clearsign |
49 grep -v "^HG:" "$T1" | gpg -t -a -u "${HGUSER}" --clearsign |
50 } > "$T2" && mv "$T2" "$1" |
50 } > "$T2" && mv "$T2" "$1" |