diff options
| author | Dave Love <fx@gnu.org> | 1999-10-03 15:56:58 +0000 |
|---|---|---|
| committer | Dave Love <fx@gnu.org> | 1999-10-03 15:56:58 +0000 |
| commit | ebc1f341e5821de7109cd3b3d89c455f5e11f874 (patch) | |
| tree | fbc4c34a6cc47e7bb3f87606b53ac86c09ee8137 /move-if-change | |
| parent | 6b8ad34c72b1a609a8398948e4f01c590d30a6c6 (diff) | |
| download | emacs-ebc1f341e5821de7109cd3b3d89c455f5e11f874.tar.gz | |
#
Diffstat (limited to 'move-if-change')
| -rwxr-xr-x | move-if-change | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/move-if-change b/move-if-change new file mode 100755 index 00000000000..ee9e355e3e6 --- /dev/null +++ b/move-if-change @@ -0,0 +1,15 @@ +#!/bin/sh +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 |