Subject: bug#9683: Undefined/undocumented terms

From: Lars Magne Ingebrigtsen <[email-masked]>
Date: Fri, 07 Oct 2011 00:22:46 +0200

Dave Abrahams <[email-masked]> 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/