| changeset 3 | 5108af44ed6e |
| parent 2 | d086ec1aec5d |
| child 4 | b3a6e3ad6dc5 |
| 2:d086ec1aec5d | 3:5108af44ed6e |
|---|---|
179 "$EDITOR" "$FILE" |
179 "$EDITOR" "$FILE" |
180 |
180 |
181 MD5_bis=`md5sum "$FILE"` |
181 MD5_bis=`md5sum "$FILE"` |
182 |
182 |
183 if [ "$MD5" != "$MD5_bis" ]; then |
183 if [ "$MD5" != "$MD5_bis" ]; then |
184 delete $id |
184 delete $ID |
185 addfile "$FILE" && rm "$FILE" |
185 addfile "$FILE" && rm "$FILE" |
186 else |
186 else |
187 echo "File not changed. Not changing the ticket." |
187 echo "File not changed. Not changing the ticket." |
188 rm "$FILE" |
188 rm "$FILE" |
189 fi |
189 fi |