There are the following Scala tools available in INF1 (administration):

Scala Plugin

For this course, we recommend you use the Eclipse IDE. Eclipse is already installed on INF1 computers, and has the Scala 2.7.2 RC2. You can find it in 

/home/iclamp/soft/share/eclipse

If you prefer working on your laptop, you should download Eclipse >= 3.4 and install the Scala plugin using the the following update site:

http://www.scala-lang.org/archives/downloads/distrib/files/scala-plugin-2.7.2.RC2

Unix

If you want to use Scala tools in a Unix console, you need to define the following environment variables:

Name Value
SCALA_HOME /home/iclamp/soft/share/scala
PATH $SCALA_HOME/bin:$PATH

The easiest way to do this is to add this variables in your configuration file of your shell:

Shell Configuration
file		 Environment variables
bash
ksh 		~/.bashrc
~/.kshrc 		export SCALA_HOME=/home/iclamp/soft/share/scala
export PATH=$SCALA_HOME/bin:$PATH
tcsh ~/.cshrc setenv SCALA_HOME /home/iclamp/soft/share/scala
setenv PATH $SCALA_HOME/bin:$PATH

Windows

For using the Scala tools in a Windows command prompt, you need to change the user environment variables by defining the following variables:

Name Valuer
SCALA_HOME C:\Progra~1\Scala (1)
PATH %SCALA_HOME%\bin;%PATH%
(1)Default installation directory for Scala in Windows.

You need to go in the "Start" menu -> "Control Panel" -> "System" -> "Advanced" -> "Environment variables". In the "User variables of ...", section, you add a new variable ("New" button).