[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Fri, 02 Apr 2004 23:32:21 +0100 
Subject:Re: Installation problems: Gentoo Linux 
From:Antonis 
Volume-ID: 

Hi Aaron, Hi all

>I am very puzzled by this. Other bash users have not had to do this.
>Maybe gentoo is set up so that 'csh' is not in $PATH unless you run
>tcsh.

It is strange but you are right. csh is not in the $PATH in my system. 
That probably explains why the installation worked when I ran tcsh. 

>If you feel like posting a note saying what you are using poplog for, I
>expect others will be interested.

I am a lecturer at the University of Teesside and I use mainly Pop11
as the default language for the final year module "Artificial Intelligence".
We use Pop11 to demonstrate and code search strategies, KRLs as well as to
create grammars, lexicons and parsers in the area of natural language
processing.

Also I have just subscribed to the pop-forum with the aim to contribute and
engage in your interesting discussions. 

Kind Regards

Antonis Papatsaras
Senior Lecturer in Artificial Intelligence
University of Teesside