SLIME Admin

Installation

  1. Download the latest slime-current.tgz to /src/util.
  2. Copy it to /util.

    
    [phoebe] /util% sudo cp /src/util/slime-current.tgz .
    
    

  3. Gunzip and untar it, delete the tarfile:

    
    [phoebe] /util% sudo gunzip slime-current.tgz
    [phoebe] /util% sudo tar -xvf slime-current.tar
    [phoebe] /util% sudo rm slime-current.tar
    
    

  4. Fix ownership permissions:

    
    [phoebe] /util% sudo chown -R root slime-2010-09-30/
    [phoebe] /util% sudo chgrp -R root slime-2010-09-30/
    
    

  5. Make this distribution the default SLIME:

    
    [phoebe] /util% sudo ln -s slime-2010-09-30/ slime