squaresLab / BugZoo

Keep your bugs contained. A platform for studying historical software bugs.
https://squareslab.github.io/BugZoo
MIT License
67 stars 12 forks source link

Rename "Tool" to "Plugin" #291

Open ChrisTimperley opened 5 years ago

xanderyzwich commented 5 years ago

doo you just want the word changed in the README.md or is there something else needed? @ChrisTimperley

ChrisTimperley commented 5 years ago

@xanderyzwich this also requires changes to quite a few source code files. All references to Tool and tool, including partial references (e.g., ToolManager and __tools), need to be changed to Plugin and plugin.

Here's a (possibly incomplete) list of files that need to be changed:

It might be possible to use sed and grep to speedup the process.