GNU bug report logs - #9683
Undefined/undocumented terms

Previous Next

Full log

View this message in rfc822 format

From: Lars Magne Ingebrigtsen <larsi <at> gnus.org>
To: Dave Abrahams <dave <at> boostpro.com>
Cc: 9683 <at> debbugs.gnu.org
Subject: bug#9683: Undefined/undocumented terms
Date: Fri, 07 Oct 2011 00:22:46 +0200

Dave Abrahams <dave <at> boostpro.com> writes:

>>>    ,----[ (info "(gnus)Gnus Utility Functions") ]
>>>    | `gnus-group-real-name'
>>>    |      Takes a full (prefixed) Gnus group name, and returns the unprefixed
>>>    |      name.
>>>    | 
>>>    | `gnus-group-prefixed-name'
>>>    |      Takes an unprefixed group name and a select method, and returns
>>>    |      the full (prefixed) Gnus group name.
>>>    `----
>>>
>>> b. "if prefixation is required" is so vague (to me) that your response
>>>    is of no use to me in understanding anything.
>>
>> I thought "a full Gnus group name" would be a hint.  :-)
>
> You're just getting cryptic-er and cryptic-er, Doc!

A Gnus group name is prefixed or not, depending on whether it's a
primary server group or not.  But there's no need to repeat that every
time you say "group".  They are always that way in Gnus.

These functions convert from Gnus group names to non-Gnus group names,
and vice versa.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.