/mods <modname>

[0gb.us]

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 ...

[jojoa1997]

+1
Hope it gets implemented into the default

[kaeza]

how about making a wildcard search?
like this:

Your phone or window isn't wide enough to display the code box. If it's a phone, try rotating it to landscape mode.

Code: Select all

/mods more*

[Michael Eh?]

Actually I would like to see a verbose listing... as such giving the install version number as a vertical list which you could use the chat window to scroll through.