#!/bin/sh
#
# usage: copy <directory of origin> <destination directory> <file>
# 
# Well the first 2 args are just commands to the SED !! to modify the <file>
# Care is taken to keep times unmodified.
#
######


# Here, I keep the access date of the copied file, so that this access does not result in change !
touchFile=/tmp/updateNFScache

#echo copy: $*

destination=`echo $3|sed "s/$1/$2/" `
original=$3


touch   -ar $original   $touchFile
cp -up  $original $destination
touch   -ar  $touchFile   $original
