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