Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wildcard world name #95

Open
LoneDev6 opened this issue Jan 2, 2024 · 1 comment
Open

Wildcard world name #95

LoneDev6 opened this issue Jan 2, 2024 · 1 comment
Labels
enhancement New feature or request
Milestone

Comments

@LoneDev6
Copy link
Collaborator

LoneDev6 commented Jan 2, 2024

Hi ;)
I'm using your plugin, but I have a little problem. On my server, players can create their own worlds. In general, everything is changing quite dynamically. In your plugin, I am forced to indicate specific worlds for optimization. Could you solve my problem and make it so that plugin to optimize all ('*') worlds?

Thank you in advance!

You can use "ALL", it should work.
Please let me know.
Anyway in the next update I will add the * wildcard support so that you can do that, similarly on how it works in some of my other plugins, for example in ItemsAdder.

@LoneDev6 LoneDev6 added the enhancement New feature or request label Jan 2, 2024
@LoneDev6 LoneDev6 moved this to Todo in Other plugins Jan 2, 2024
@LoneDev6 LoneDev6 added this to the 1.1.9 milestone Jan 2, 2024
@TWME-TW
Copy link

TWME-TW commented Feb 13, 2024

I suggest this should be written in the wiki

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Todo
Development

No branches or pull requests

2 participants