From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA02823 for caml-red; Mon, 11 Dec 2000 18:39:53 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA22407 for ; Sun, 10 Dec 2000 16:56:32 +0100 (MET) Received: from moutvdom01.kundenserver.de (moutvdom01.kundenserver.de [195.20.224.200]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBAFuQv23931 for ; Sun, 10 Dec 2000 16:56:31 +0100 (MET) Received: from [195.20.224.219] (helo=mrvdom03.kundenserver.de) by moutvdom01.kundenserver.de with esmtp (Exim 2.12 #2) id 1458pt-00002A-00 for caml-list@inria.fr; Sun, 10 Dec 2000 16:56:25 +0100 Received: from drms-3e364b1e.pool.mediaways.net ([62.54.75.30] helo=ice.gerd-stolpmann.de) by mrvdom03.kundenserver.de with esmtp (Exim 2.12 #2) id 1458pr-000859-00 for caml-list@inria.fr; Sun, 10 Dec 2000 16:56:23 +0100 Received: from localhost (localhost [[UNIX: localhost]]) by ice.gerd-stolpmann.de (8.9.3/8.9.3) id QAA30728 for caml-list@inria.fr; Sun, 10 Dec 2000 16:56:21 +0100 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: caml-list@inria.fr Subject: Announcement: Package Shell Date: Sun, 10 Dec 2000 16:48:37 +0100 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <0012101656210H.00625@ice> Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr I've just completed another O'Caml package of general interest: Shell. It contains everything needed to start commands which are connected by pipelines. A few examples: open Shell;; call [ cmd "ls" [ "/dir1"; "/dir2" ]];; (* <=> ls /dir1 /dir2 *) call [ cmd "find" [ "/dir" ]; cmd "grep" [ "something" ] ];; (* <=> find /dir | grep something *) let s = "d\na\nc\nb\n" in let b = Buffer.create 20 in call ~stdin:(from_string s) ~stdout:(to_buffer b) [ cmd "sort" ];; (* <=> b=`sort <<_EOF_ $s _EOF_`*) For more information, visit the documentation page: http://www.ocaml-programming.de/packages/documentation/shell/ Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de Germany ----------------------------------------------------------------------------