Is it possible to change the prompt in the top-level shell so that it
displays the current time? At the moment it is:
?-
I want to change it to something like:
07:32 ?-
Would this be possible?
Hi Amoss, a couple of questions first: You mean the Ciao prompt,
right? Also, are you using the emacs mode or are you running from a
shell? (There are implications for the answer.) --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 ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------