diff options
Diffstat (limited to 'manual/move-if-change')
| -rwxr-xr-x | manual/move-if-change | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/manual/move-if-change b/manual/move-if-change deleted file mode 100755 index 66d8b8adc7..0000000000 --- a/manual/move-if-change +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 -s $1 $2 -then -echo $2 is unchanged -rm -f $1 -else -mv -f $1 $2 -fi -else -mv -f $1 $2 -fi |