install_repository Readme UNIFORM REPOSITORY SERVICE - Version 1.1 Gerald J. F. Banon, banon@dpi.inpe.br Copyright for the Uniform Repository Service (c) 1995, 1996, 1997, by Gerald Banon. All rights reserved. install_repository alias is ir The install_repository command installs repositories received via Internet or makes a symbolic link to a repository in another local collection in the same system file. In the case of an installation via Internet, this is an easy and secure way compare to the one using the bootstrap. WHEN TO USE the install_repository command? They are two cases. 1. When you have received a mail which subjet is: requested URLib repository(ies) and you want to install them in your collection. 2. When you want to make a symbolic link to a repository in another local collection in the same system file. HOW TO USE the install_repository command? Go to the following directory: col/dpi.inpe.br/banon/1995/08.08.00.00/not_sent/library_service ( for example if the current directory is the one in which you have installed the initial collection (e.g. URLib), just execute the line cd col/dpi.inpe.br/banon/1995/08.08.00.00/not_sent/library_service ) then execute the line install_repository [ or ] Examples: install_repository (will install the repositories contained in the LAST mail message) install_repository 12 (will install the repositories contained in the 12th mail message) Each time a repository is installed, the copyright holder (who made the repository) receives automatically an e-mail that informs him about the installation. install_repository /disc5/dep/URLib/col/dpi.inpe.br/banon/1995/08.12.33.25 (will make the dpi.inpe.br/banon/1995/08.12.33.25 repository as a symbolic link to /disc5/dep/URLib/col/dpi.inpe.br/banon/1995/08.12.33.25) OBSERVATION When you install a repository that already exists in your local collection index, all the files in the doc directory in this repository with the write permission ON are removed. When your local collection is stored on different servers you should set the system date of each server from a remote host (which can be one of these servers). You can use the rdate command. Example: hermes# rdate viking This is important to have the update_index command working properly. end_Readme