7.1 Making a Local Copy

Here's how to download, install, and browse a local copy of the CoFI WWW pages:

It is possible to use a WWW browser to download the compressed copies of various parts of the CoFI WWW pages from the CoFI FTP archives, by clicking on the links below:

• The main CoFI WWW pages
  ftp://ftp.brics.dk/Projects/CoFI/index.WWW.tar.gz (~2.8Mb)
• The CoFI Catalogue
  ftp://ftp.brics.dk/Projects/CoFI/Catalogue.WWW.tar.gz (~900Kb)
• The CoFI Study Notes
  ftp://ftp.brics.dk/Projects/CoFI/StudyNotes.WWW.tar.gz (~125Kb)

But it's almost as easy to use FTP directly:

cd some-directory
ftp ftp.brics.dk
Name: ftp
Password: your-e-mail-address

binary

cd Projects/CoFI

mget *.WWW.tar.gz

bye

For each file that you fetched, do the following to uncompress it and create (or update) the CoFI directory and files:

zcat file.WWW.tar.gz | tar -xof -

If you have already uncompressed file.WWW.tar, you should do this just to create (or update) the CoFI directory and files:

tar -xof file.WWW.tar

You should now have a directory named CoFI in your current directory. To browse your local copy of the CoFI WWW pages with minimal net access (the navigation arrow icons are still loaded from Aarhus--let me know if that gives problems) simply call your favourite browser with the appropriate file name, e.g.:

netscape CoFI/index.html

netscape CoFI/Catalogue/1/index.html