Re: What's NOV? Should gnus-nov-is-evil be set to t?

[Leo]

On 2007-09-13 13:09 +0100, Katsumi Yamaoka wrote:
>>>>>> Leo wrote:
>> On 2007-09-13 11:15 +0100, Katsumi Yamaoka wrote:
>
>>> If you have a nnml group, you can see its .overview file, that is just
>>> NOV.  It's a common format that most news servers use when
>>> communicating with clients.  It improves the performance.  So,
>>> disabling it is not a good idea unless it malfunctions in the server.
>>> See also `nnml-nov-is-evil' and `nntp-nov-is-evil'.
>
> Oops.  I overlooked `nndiary-nov-is-evil', `nndir-nov-is-evil',
> `nnfolder-nov-is-evil', `nnimap-nov-is-evil', `nnspool-nov-is-evil',
> and `nnwarchive-nov-is-evil'.
>
>> Do you think this should go to the manual?'
>
> Isn't it enough?
>
> (info "(gnus)Terminology")
> ,----
> |"NOV"
> |  When Gnus enters a group, it asks the back end for the headers of
> |  all unread articles in the group.  Most servers support the News
> |  OverView format, which is more compact and much faster to read and
> |  parse than the normal HEAD format.
> `----
>
> I take time ten times as long as Japanese to write English. ;-)

It is odd that it is not explained in the main text of the
manual. Terminology is the last thing a user want to see.

-- 
.:  Leo  :.  [ sdl.web AT gmail.com ]  .:  [ GPG Key: 9283AA3F ]  :.

=>             "(require 'cl) considered harmful" considered harmful
=>           http://dto.freeshell.org/blog/blog-2007-09-07-2323.html