view move-if-change @ 7848:6bb2bbc2bf45

Remove data_property, replace with array_property or row_vector_property.
author Michael Goffioul <michael.goffioul@gmail.com>
date Wed, 27 Feb 2008 21:45:12 +0100
parents 12ff450cbb1f
children
line wrap: on
line source

#!/bin/sh
#
# Like mv $1 $2, but if the files are the same, just delete $1.
# Status is 0 if $2 is changed, 1 otherwise.

if test -r $2; then
  if cmp $1 $2 > /dev/null; then
    echo $2 is unchanged
    rm -f $1
  else
    mv -f $1 $2
  fi
else
  mv -f $1 $2
fi