OPTIONS=`vagrant ssh-config | grep -v '^Host ' | awk -v ORS=' ' 'NF{print "-o " $1 "=" $2}'`
To copy a file from the host to a Vagrant VM:
scp ${OPTIONS} $FILE v:$PATH
to copy a file from a Vagrant VM to the host:
scp ${OPTIONS} v:$PATH $FILE