Renaming a category?

[Hans-Albert Schneider]

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           <address@hidden>
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" --