Hi, I've just fixed almost everything in Ubuntu. However, the ciao
interpreter still complains that my initial script is not properly
configured, and thus I can't use the on-line documents. The thing is, it
works fine under text mode, and only in X windows does it give the
complaints. What might be the reason of that?
Sorry Alex, your message got buried. Basically you have to make sure
that the CIAODOCDIR variable is defined. This is done via an addition
to the .cshrc (or /etc/profile.d/ etc.) file.
--
------------------- The Ciao (C)LP System Development Team ------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | University of New Mexico
http://www.cliplab.org/Software/Ciao
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------