arcinfini / pyhnix

hi im arcinfini. i often work on discord bots for fun.

my favorite languages: python, lua, rust... and some other languages i can work with: java, javascript.

pyhnix's Issues

unable to edit team name

link to error in logs

Changing the team name cause the error linked above.

add section to schedule requestor to indicate PC's needed

have a new section within the schedule request command modal that asks for specification on number of pcs needed for this time.

scheduler extension

• allow team leads to create scheduled room hours and control its label
  team leads need their hours approved before they are validated
  • open hours label
  • team hours label
• allow exec members to approve/deny requests through views
• approved hours are sent to the official google calendar to be visible to the public
  the lead is notified that their request has been approved or denied

split reload slash into reload ext and reload module

test

test issue

customizer

overview

rework the embededitor into a separate extension to edit all types of content for display

• enable a search feature equivalent to the role button interface extension
• allow content/embed/view to be interacted with; the view only needs to support url buttons as of now

command structure

edit content
edit embed edit/create/remove
edit view edit/create/remove

Service Install Script

Currently the production version must be manually ssh-ed into to shutdown and rebuild the docker container. This should be managed via a bash script instead.

game category permission reseter

currently permissions are manually handled for each game's category. with discord's permission syncing system being unreasonable with overrides, having a command that the lead can run to set the permissions to default would make it 100x easier.

there are currently 3 kinds of channels in a category:

1. Announcement
2. General / Public
3. Team Based

the lead's input would be categorizing which channel is in which category.
exec's input would be the categorychannel, the lead role associated with it, the team role associated with it, and the game role associated with it.

commands included

permission name subject to change

/permission create [category] [lead role] >> creates the category permission syncing settings (exec only)
/permission edit [category] >> edits the category permission syncing settings (change the lead role and others, exec only)
/permission refresh >> checks the current category this was ran in and refreshes perms (team lead ran)
/permission link >> links a channel to a certain permission category (team lead ran)