Museum

Home

Lab Overview

Retrotechnology Articles

⇒ Online Manual

Media Vault

Software Library

Restoration Projects

Artifacts Sought

10.1;intm (install_type_manager), revision 1.0, 88/07/02
intm (install_type_manager) - install a type manager.
usage: intm [-n node_spec] [-l] [-r] [-t trait_name] [-c node-spec] type_name [mgr_pathname]



DESCRIPTION
     intm installs a type manager for the type_name.  The manager is copied
     into the type manager directory from mgr_pathname.  If mgr_pathname is
     omitted, the file named type_name in the current directory is used.  The
     intm command does not accept wildcards.

     type_name (required)
                    Specify the type for which the manager is to be installed.

     mgr_pathname (optional)
                    Specify the pathname of the manager object file to install
                    for this type.

                    Default if omitted:  object file is named type_name

OPTIONS
     -n node_spec
               Specify the node on which the type manager is to be installed.
               If this option is omitted, the type manager is installed on the
               current node.

     -c[opy] node-spec
               Copy the type manager from the specified node.

     -l        List the results of the operation.

     -r        Replace an existing type manager if it exists.

     -t[rait] trait_name
               Install the type manager for a specific trait. Without the
               -trait option you install the default type manager.


EXAMPLES
     $ intm example_type /mydir/my_example_mgr.bin


     $ intm example_type /mydir/old_example_mgr.bin -n //remote_vol -l
     "/mydir/old_example_mgr.bin" installed as the manager for
     type example_type on volume //remote_vol.


SEE ALSO
     More information is available.  Type:

     help  inty     For information on installing types

     help trty      For information on testing a type trait

     help node_spec For details about node specification syntax

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026