Skip to content

add music command#10

Open
boraini wants to merge 1 commit into
extended-featuresfrom
music-command
Open

add music command#10
boraini wants to merge 1 commit into
extended-featuresfrom
music-command

Conversation

@boraini
Copy link
Copy Markdown
Owner

@boraini boraini commented Jun 18, 2024

/music battle
/music list
/music list 2
# names that start with "music " will be added as music
emitters:
    music battle:
        sound: direct
        frequency: 999

.filter(k -> k.startsWith("music "))
.map(k -> {
int start = k.indexOf(" ");
if (start != 1) {
Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The boundary should be -1 not 1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant