feature request: mute a user in chat. (maybe /quiet /unquiet)

[ian-kelling]

/mute turns off the microphone, which is actually confusing for a user that doesn't have microphone privileges, because the way they talk is in the chat, yet they aren't muted.

[jech]

Yes, that's something that's needed on occasion. The natural way would be to encode permission to chat as a new permission, but that would break compatibility with existing tokens. So that probably means we need to introduce the notion of a negative permission — a permission called, say nomessage that prevents the user from posting chat messages.

I don't think it creates any security issues, but I'll need to think it over.

[jech]

Done in 1315084. I finally decided to add an explicit permission "message", and a hack tha adds the permission to tokens aread from disk.

[TechnologyClassroom]

Thank you! We used Galène this weekend for LibrePlanet 2024's remote Neptune track. We have not done a full debrief yet, but it seemed to be a success.

[jech]

Excellent. Please send your experience report to galene@lists.galene.org, since I prefer to limit the use of Github issues.