#!/bin/bash

# Arguments are <src> and <dest>
# Either src or dest format is user@host:file
#
src=`echo $1 | awk '{print substr($1,index($1,":")+1)}'`
dst=`echo $2 | awk '{print substr($1,index($1,":")+1)}'`

#echo src=$src dst=$dst
/bin/cp -f $src $dst
