Tuesday, March 8, 2016

Re: Packages

Gary Johnson wrote:

> On 2016-03-07, Eric Christopherson wrote:
> > On Sun, Mar 06, 2016, Benjamin Fritz wrote:
> > [in attachment]
> > > +directory under your package, whereas plugins you enable on demand go in an
> > > +"opt" directory so that |:packadd| can find them. See |pack-add| below.
> >
> > OK, I see that the intended semantics of the word "ever" is as a synonym
> > of "always". I wasn't clear on that.
>
> Yes, I was confused by the meaning of "ever" here, too.
>
> > I would strongly advise using "always" instead. "Ever" in modern English
> > is a negative-polarity word, which means you can't say "Vim should
> > _ever_ load this plugin". You're limited to stating a negative ("Vim
> > shouldn't ever...") or positing a conditional ("if Vim should ever...")
> > or asking a question ("should Vim ever...?"), and maybe a few other uses
> > I can't think of right now.
> >
> > "Vim should _always_ load this plugin" is fine.
>
> I'll second that. That was a very nice explanation.

The more I think about it, the more I think we should relate it to when
the directories are used. That is during startup. So we could use
"start" and "opt". Makes sense?

--
hundred-and-one symptoms of being an internet addict:
6. You refuse to go to a vacation spot with no electricity and no phone lines.

/// Bram Moolenaar -- Bram@Moolenaar.net -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///

--
--
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

---
You received this message because you are subscribed to the Google Groups "vim_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

No comments:

Post a Comment