PUSH(1) PUSH(1)
NAME
push, pull, Rpush, Rpull - 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.
Rpush and Rpull are the programs started by remote pushes
and pulls.
SEE ALSO
con(1), cp(1)
DIAGNOSTICS
Messages marked `(remote)' are from the sister process run-
ning on the remote machine.
Page 1 Plan 9 (printed 11/23/25)