[Gas] Checking out gas through cvs

[Bob Cook]

Hi Everyone,

Zach has moved gas into CVS on groogroo. To get a copy you can use the
following procedure:

First, in your .bash_profile set an environment variable and export it:

CVS_RSH=ssh
export CVS_RSH

Second, source your .bash_profile

$ source ~/.bash_profile

Finally, run this command from your shell:

$ cvs -d your_username at gas.cu.groogroo.com:/var/cvs co gas

This procedure assumes that you have a user account on groogroo and that
you are a part of the cvs group. 

If you have problems with this, feel free to contact me.

-Bob

-- 
/*********************************************\
* Bob Cook              On The Job Consulting *
* bobcook at onthejob.net  217-278-3933          *
*                                             *
*    "Kyrie Eleison...Dona Nobis Pacem"       *   
*                                             *
\*********************************************/