term% cat index.txt PUSH(1) General Commands Manual 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 lo‐
caldir 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 direc‐
tory, 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 different 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 inter‐
preted 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 running on the
remote machine.
PUSH(1)