From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from gatech.edu (gatech.edu [130.207.244.244]) by werple.mira.net.au (8.6.12/8.6.9) with SMTP id FAA29902 for ; Tue, 27 Jun 1995 05:09:34 +1000 Received: from math (math.skiles.gatech.edu) by gatech.edu with SMTP id AA02651 (5.65c/Gatech-10.0-IDA for ); Mon, 26 Jun 1995 15:03:24 -0400 Received: by math (5.x/SMI-SVR4) id AA11751; Mon, 26 Jun 1995 14:59:30 -0400 Resent-Date: Mon, 26 Jun 1995 14:58:18 -0400 Old-Return-Path: Message-Id: <9506261858.AA04995@redwood.skiles.gatech.edu> X-Mailer: exmh version 1.5.3 12/28/94 To: zsh-workers@math.gatech.edu Subject: Re: proposal: GDBM completion In-Reply-To: Your message of "Mon, 26 Jun 1995 13:23:16 +0200." Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 26 Jun 1995 14:58:18 -0400 From: Richard Coleman Resent-Message-Id: <"MGnPA.0.Xt2.HEmxl"@math> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/115 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu > I wonder whether we could implement some data base completion. What I > want to have is man page completion, but reading all the man pages from > an NFS server is very slow, and we have so many man pages installed that > I don't want zsh to keep the list in memory. > > The newer Berkeley db library has a B-tree database type, which can be > searched the way we need to implement completion. Wouldn't it be > possible to implement some database lookup completion ? I'd like to > write a new man(1) which uses the database to find the man pages, and > I'd like to have zsh complete my man pages ;) I believe Tom Christiansen has written a version of man in perl that uses ndbm for indexing. Also tkman can use the database glimpse for similar things. As to building in completion support for this in zsh, I'm not sure. I would have to be convinced that it would be generally useful. A possibility is that I could put patches for such features in a Contrib subdirectory. But I'm tied up in other zsh work right now. rc