hgeditor
changeset 682 d6723636c172
parent 666 0100a43788ca
child 683 104d2aee3b44
equal deleted inserted replaced
681:32b6bbf1c37b 682:d6723636c172
    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"