#!/bin/sh

while [ $# != 0 ]; do

    file=$1
    shift

    cp -p "$file" "$file.$$"
    rm -f "$file"
    mv -f "$file.$$" "$file"

done