“Extras” are various things that are not part of the main Ares release. There are tinker snippets (like a sample import from Wikidot), community-authored plugins, and other tidbits.
You can find extras in the Ares Extras repository in GitHub. The main README will direct you to what plugins are available.
Each plugin will contain its own README file with instructions on how you use it. The details will vary depending on what it does.
If an extra is a complete plugin, there’s a script that will automatically install it for you.
If the game is running, you can install the plugin using an in-game command:
plugin/install <plugin name>
If the game is shut down, from your server shell, change to the aresmush folder and run:
bin/addplugin <plugin name>
Once the plugin is installed, you’ll need to do
load all to load the game code and
website/deploy to update the website.
As long as you haven’t modified the plugin’s source code, you can upgrade it just by using the
bin/addplugin script again, as described above.
Warning: Do not attempt to run the upgrade script if you’ve got custom code modifications (other than configuration files). The upgrade will overwrite your changes. You’ll have to do the upgrade by hand. GitHub’s version compare tools can help you figure out what changed. Feel free to ask for help.
See Submitting Contributions if you want to contribute your own extras or community plugins.