From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19626 invoked from network); 14 Dec 1999 06:40:03 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 14 Dec 1999 06:40:03 -0000 Received: (qmail 28315 invoked by alias); 14 Dec 1999 06:39:58 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 9030 Received: (qmail 28308 invoked from network); 14 Dec 1999 06:39:57 -0000 Message-ID: <19991214063947.8893.qmail@web1305.mail.yahoo.com> Date: Mon, 13 Dec 1999 22:39:47 -0800 (PST) From: Felix Rosencrantz Subject: Re: PATCH: Add jobdirs association to parameter module To: zsh-workers MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Peter Stephenson wrote: > What is this chunk for? It's going to mean the parameters are permanently > stuck in the parameter table, even if the module is unloaded, and if the > module is reloaded the parameters won't be. Sven just fixed this a week or > so ago. Sigh... I'm terribly embarrassed. I made the change more than a week ago, and wanted to try it before sending it. Then I made the patch with the latest version of parameter.c rather than the original version. > It's a shame we didn't have more specific names for parameters, since the > parameter module is quiet heavily used in completion, so there is quite a > lot of name space pollution. They stop being special if made local, but > it's still a problem. The ksh mechanism ${.param.jobdirs} would be > excellent for this. I agree, there is a problem with the name space pollution. I would suggest that zsh is included in the name, like ${.zshparam.jobdirs} or ${.zsh.param.jobdirs} (I'm not familiar with ksh). I think if we say that parameters beginning with zsh are reserved for future expansion, then there is room for expansion without stepping on people's toes. -FR. __________________________________________________ Do You Yahoo!? Thousands of Stores. Millions of Products. All in one place. Yahoo! Shopping: http://shopping.yahoo.com