Here are some suggestions. The default graphical environment is
started up as follows:
emacs -f ciao-startup
Or, if you only want the ciao shell:
emacs -f ciao
If you have no .emacs:
emacs -q -l /home/clip/lib/ciao/ciao-1.9/DOTemacs.el -f ciao-startup
emacs -q -l /home/clip/lib/ciao/ciao-1.9/DOTemacs.el -f ciao
You can get an icon to do thin in, e.g., adding a file:
~/.gnome-desktop/The Ciao Environment.desktop
containing (paths may have to change of course):
[Desktop Entry]
Name=The Ciao Prolog Environment
Comment=Starting the Ciao Prolog Environment
Name[en_US.ISO8859-1]=Ciao Prolog Environment
Comment[en_US.ISO8859-1]=Starting the Ciao Prolog Environment
Exec=/usr/bin/emacs -q -l /home/clip/lib/ciao/ciao-1.9/DOTemacs.el -f ciao-startup
Icon=/home/clip/Systems/ciao/emacs-mode/icons/ciao.xpm
Terminal=false
MultipleArgs=false
Type=Application
--Manuel
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
+34-91-336-7435 (Work) | Facultad de Informatica
+34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid
http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-----------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
