From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E7B34BC48 for ; Thu, 31 Mar 2005 23:38:59 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2VLcxWT011677 for ; Thu, 31 Mar 2005 23:38:59 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA15377 for ; Thu, 31 Mar 2005 23:38:59 +0200 (MET DST) Received: from slinky.cs.nyu.edu (SLINKY.CS.NYU.EDU [128.122.20.14]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2VLcwuj006181 for ; Thu, 31 Mar 2005 23:38:58 +0200 Received: from localhost (localhost [127.0.0.1]) by slinky.cs.nyu.edu (8.12.10+Sun/8.12.10) with ESMTP id j2VLcvW3021442; Thu, 31 Mar 2005 16:38:57 -0500 (EST) Date: Thu, 31 Mar 2005 16:38:57 -0500 (EST) From: Igor Pechtchanski Reply-To: caml-list@inria.fr To: David MENTRE Cc: caml-list@inria.fr Subject: Re: [Caml-list] colorized output of ocaml interactive shell In-Reply-To: <87d5tf5xtf.fsf@linux-france.org> Message-ID: References: <87d5tf5xtf.fsf@linux-france.org> Importance: Normal MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 424C6DF3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 424C6DF2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 vim:01 syntax:01 vim:01 ...:98 wrote:01 macros:01 output:02 output:02 types:02 shell:04 shell:04 thu:05 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Thu, 31 Mar 2005, David MENTRE wrote: > Hello, > > I will do a presentation on OCaml soon. I would like to show some > example of interactive sessions in the OCaml interactive environment, > ocaml launched in an XTerm. Does anybody know a program/shell > script/whatever that can produce a nice colorized output (e.g. types)? > Any advice? You could try using the VIm syntax highlighting mode. You can pipe text into VIm -- see $VIM/macros/less.sh. Igor -- http://cs.nyu.edu/~pechtcha/ |\ _,,,---,,_ pechtcha@cs.nyu.edu ZZZzz /,`.-'`' -. ;-;;,_ igor@watson.ibm.com |,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D. '---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow! "The Sun will pass between the Earth and the Moon tonight for a total Lunar eclipse..." -- WCBS Radio Newsbrief, Oct 27 2004, 12:01 pm EDT