19 Feb
2003
19 Feb
'03
10:47 p.m.
does anyone know how to execute a command from within a CIAO session? i want to start JADE from a ciao session using the command
"java jade.Boot -gui"
I guess what you mean is starting that command from within a Ciao program. Have a look at the 'system' library in the Ciao manual. The system/1, system/2, popen/3, exec/3 and exec/4 predicates do what you want (with different levels of sophistication).
If what you mean is starting it from the Ciao development environment (i.e., within emacs, extended with the ciao 'mode'), then simply start a shell (M-x shell) and type the command within the shell.
Hope this helps.
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
+34-91-336-7435 (Work) | Facultad de Informatica, UPM
+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/
-----------------------------------------------------------------------------