20 Jun
2005
20 Jun
'05
1:30 p.m.
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/
-----------------------------------------------------------------------------