1#!/bin/sh 2 3dir=$1; shift 4while [ $# -gt 0 ]; do 5 file=$1 6 cmp -s $file $dir/$file 7 if [ $? != 0 ]; then 8 echo "+ rm $dir/$file" 9 rm -f $dir/$file 10 echo "+ cp $file $dir/$file" 11 cp $file $dir/$file 12 fi 13 shift 14done 15