Linux stuff

This page contains a few text files about Linux.

Installing gIDE Steps needed to install gIDE on current Linux system, as of August '01.
Mozilla tips Help with installing Java.

Back up to home page.