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.