PUSH(1) PUSH(1) NAME push, pull - datakit remote file copy SYNOPSIS push [ -v ] machine file ... remotedir pull [ -v ] machine file ... localdir DESCRIPTION Push and pull copy files between machines over Datakit. Push copies files from the local machine to the directory remotedir on the named machine. Pull copies files from the named machine to the directory localdir on the local machine. The last component of the name of a copy is the same as that of the original. If one of the files is a directory, a corresponding directory is created and the directory's files are copied, recursively. Option -v announces each file as it is copied. Pushing and pulling involve two programs running in differ- ent contexts on different machines. In particular, pulling to directory `.' puts files in the local current directory, but pushing to `.' puts files in the remote home directory. Shell metacharacters which are to be interpreted on the remote machine must be quoted. FILES /usr/lib/Rpull and /usr/lib/Rpush, links to /usr/bin/pull and /usr/bin/push, handle the remote end of transactions. SEE ALSO dcon(1), cp(1), ropy(1) DIAGNOSTICS Messages marked `(remote)' are from the sister process run- ning on the remote machine.