Setting Up Ravel

Summary: The first version of Web Raveler was/is called Ravel. This document gives you instructions for installing and configuring it.

Contents

• 01. Install a Copy
• 02. Configure Ravel
• 03. Set up Accounts
• 04. Start the Account Server
• 05. Start the Ravel Server
• 06. Configure Web Browser

01. Install a Copy

Ravel is currently stored in the Glimmer CVS repository. You can install a copy with

cvs -d /home/rebelsky/Glimmer/CVS checkout Ravel

02. Configure Ravel

(a) Switch to the Ravel directory.

cd Ravel

(b) Run the configure script.

./Configure.pl

(c) Pick port numbers for the two servers.

(d) Fill in the remaining information.

03. Set up Accounts

(a) Switch to the Accounts directory.

cd Account/Accounts

(b) Make sure that Setup.pl has correct permissions.

chmod 755 Setup.pl

(c) Run the setup program.

./Setup.pl

Enter information for an account for yourself.

(d) Set up any other accounts you want.

04. Start the Account Server

(a) Open a new terminal window.

(b) Switch to the Ravel/Accounts directory.

(c) Type

./AccountServer.pl

05. Start the Ravel Server

(a) Open a new terminal window.

(b) Switch to the Ravel/Ravel directory.

(c) Type

./Ravel

06. Configure Web Browser

For Mozilla

Edit
  Preferences
    Advanced
      Proxies
        Manual Proxy Configuration
          HTTP Proxy