Renaming a category?

[Hans-Albert Schneider <Hans-Albert dot Schneider at mchp dot siemens dot de>]

What is the preferred way to rename a category?

For GNATS 3.113, I am currently aware of the following procedure
(assume renaming from "A" to "B"):

1) Create a new category "B".
2) Edit each report in "A", changing the category to "B".
3) Remove category "A".
4) Run gen-index.

(I once tried to just rename the directory from "A" to "B" (and
the entry in gnats-adm/categories, of course), and found that
gen-index produced A/17 instead of B/17, because the Category
field had not been changed.  This was probably with an earlier
version than 3.113; is gen-index now more clever about this?)


Is there an easier way?  Maybe with version 4?

In step 2), do I need to invoke edit-pr and manually edit all
reports, or can I just run something like

    for each report $n in category A,
	sed -e "/^>Category:/ s/A/B/"  < A/$n  > B/$n
	rm A/$n


Thanks for your hints,

       Hans-Albert
-- 
Hans-Albert Schneider		<Hans-Albert.Schneider@mchp.siemens.de>
Siemens AG			phone:	(+49) 89 636 45445
Corporate Technology		fax:	(+49) 89 636 42284
Munich, Germany
 -- To get my public PGP key, send me a mail with subject "send key" --