Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ inlib — Apollo

Media Vault

Software Library

Restoration Projects

Artifacts Sought

9.0;inlib (install_library), revision 9.0, 85/03/26
INLIB (INSTALL_LIBRARY) -- Install a user-supplied library.
usage:  INLIB pathname...


FORMAT

  INLIB pathname...


  INLIB  installs  a  library  at  the  current  Shell program level; it remains
  installed until the Shell that installed it exits.  (To load a library that is
  used  by  ALL processes, see note below.)  The newly installed library will be
  used to resolve external references of programs (and libraries)  loaded  after
  its installation.  (Thus, previously loaded libraries and programs will NOT be
  affected.)

  INLIB is an internal shell command.

  NOTE: At Version 4.1 and later you can create a library that will be installed
        automatically  in  every  process.    This  library  resides in the /LIB
        directory and is called USERLIB.PRIVATE.  The  procedure  text  in  this
        library will be shared among all processes.

        This  library  must  be  present  at  node  startup  time in order to be
        installed.  After copying your library to /LIB/USERLIB.PRIVATE with  the
        Shell  command CPF (COPY_FILE), you must shut down the node and start it
        up again in order to use the library.    Changes  to  the  library  also
        require rebooting the node to load the new routines.

        Global  names  in  /LIB/USERLIB.PRIVATE must not duplicate names used in
        DOMAIN libraries.


ARGUMENTS

  pathname
  (required)         Specify name of library file(s) to be installed.   Multiple
                     pathnames and wildcarding are permitted.


EXAMPLES

  1. $ inlib my_lib                    Install the library "my_lib".

  2. $ inlib ?*.lib                    Install all files in the current
                                        working directory with a ".lib"
                                        suffix.

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