Getting and installing ILK/CLiPS software can be done using either
the command line from the console, or using a GUI. Using the console,
operate this way:
First enable the TiCC Debian packages repository ("TiCC" is
the Tilburg
center for Cognition and Communication, the research center of
which the ILK research group is a
part).
As root, run:
echo deb http://apt.ticc.uvt.nl squeeze main contrib non-free >\
/etc/apt/sources.list.d/ticc.list
(This adds the TiCC repository to your configuration. Alternatively, use
wheezy when appropriate.)
You can also manually edit /etc/apt/sources.list.d/ticc.list
or /etc/apt/sources.list
to contain the line:
deb http://apt.ticc.uvt.nl squeeze main contrib non-free
Then, again as root, run:
apt-key adv --keyserver keys.gnupg.net --recv-keys B15CD6AC
(This enabling needs to be done only once.) Once this is setup, you can
install a TiCC package by running e.g. (as root):
apt-get update && apt-get install timbl
Choose "mbt", "timblserver", ... instead of "timbl" if appropriate, of course.
Using the GNOME GUI, one does:
- go to System->Administration->Software Sources
- go to tab 'Third-party-Software'
- click 'Add'
- enter 'deb http://apt.ticc.uvt.nl squeeze main contrib non-free'
- optionally, enter 'deb-src http://apt.ticc.uvt.nl squeeze main contrib non-free'
- In order to obtain the key that is used to sign the TiCC apt
repository, you can use:
$ sudo apt-key adv --keyserver keys.gnupg.net --recv-keys B15CD6AC