Method do_mirror

postscript.py:212–215

Mirror remote file system to local directory: mirror

(self, arg)

    # ------------------------[ mirror <path> ]---------------------------
    def do_mirror(self, arg):
        "Mirror remote file system to local directory:  mirror <remote path>"
        for name in self.dirlist(arg):
            self.mirror(name, True)

    # ====================================================================