/mods <modname>
https://github.com/celeron55/minetest/pull/412
If implemented:
If "/mods" is invoked without an argument, it will return a list of all plugins installed on the server, as it did previously. However, if given an argument, it will check the list of installed plugins, and tell the player if that single plugin is installed.
For example, it will let people call "/mods moreores" to check to see if moreores is installed. On servers with not much installed, the current /mods command is fine. But on servers with a lot of stuff, it can be a pain to look through the whole list to see if one thing is installed. It helps that the list is alphabetized, but still ...
If implemented:
If "/mods" is invoked without an argument, it will return a list of all plugins installed on the server, as it did previously. However, if given an argument, it will check the list of installed plugins, and tell the player if that single plugin is installed.
For example, it will let people call "/mods moreores" to check to see if moreores is installed. On servers with not much installed, the current /mods command is fine. But on servers with a lot of stuff, it can be a pain to look through the whole list to see if one thing is installed. It helps that the list is alphabetized, but still ...