On Sat, Aug 18, 2001 at 12:34:01PM +0200, Claudio Sacerdoti Coen wrote: > > But i would like to have your opinion on that. Which ones of you use ledit, > > and if you sue, how do you invoke it ? > > ledit ocaml > ledit coq > ledit /home/projects/..../coq I use an alias like alias ocaml='ledit | ocaml' so the wrapper solution works well in my case, but I think the better solution will be a debconf question. -- Stefano "Zack" Zacchiroli <zack@cs.unibo.it> ICQ# 33538863 Home Page: http://www.students.cs.unibo.it/~zacchiro Undergraduate student of Computer Science @ University of Bologna, Italy - Information wants to be Open -
Attachment:
pgpZZx71FRFpO.pgp
Description: PGP signature