search

sjstein / R8DIUM

A discord bot to manage individual run8 users
GNU General Public License v3.0
2 stars 0 forks source link

add role setting when a user is added? banned? #79

Closed sjstein closed 8 months ago

sjstein commented 8 months ago

Should the add_user command also set the Discord role of that user?

@Garrisonsan

sjstein commented 8 months ago

What about banned? Take the role away?

Garrisonsan commented 8 months ago

That's a good feature to add for wider distribution, for sure. It should probably be an option in the config file, though.

It would require a rework of how permissions are setup on both discords we use, so I likely wouldn't personally enable it.

sjstein commented 8 months ago

That's a good feature to add for wider distribution, for sure. It should probably be an option in the config file, though. It would require a rework of how permissions are setup on both discords we use, so I likely wouldn't personally enable it.

I don't think it would require a rework (at least in the way I'm thinking).

The though came into my mind after I conducted a check-ride, and went through the process of adding the new user to the run8 server role (or whatever its called), and then doing the same on High Green (he really only wants to run East coast), and then the add_user command to give him a pw

If the /add_user command would also just add that server role, it may be a benefit

something for the next release...

sjstein commented 8 months ago

relevant link: https://docs.replit.com/tutorials/python/discord-role-bot

sjstein commented 8 months ago

In retrospect, I think this idea is not that useful. Currently we use the discord roles to authenticate access to the server, not the other-way-around. I'm closing this issue.