0

I am working on a project (Maxima) hosted at SourceForge. I am thinking about changing some labels. For example, if a label is now Foo Bar I might want it to be just Bar.

Is there a way to change the text for a label?

I suppose I could find all the items labelled Foo Bar, label them with Bar, then delete the Foo Bar label.

That seems error prone and tedious. Is there a better way?

I looked for a user forum at SourceForge itself, but didn't find one.

1

1 Answer 1

0

After asking on #sourceforge (thanks to @chirlu for the hint) it appears the only way to do it automatically is to use the Allura API.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.