unsignedbyte / harvm Goto Github PK

It didn't before because it was just meant to be "simple," but given that it's actually pretty useful I think simple argument parser would be lacking without it

Since Dyno is not made by a Gunn student, it'll be removed from the server. Thus, we should replicate the logs

The current purge command used on the server is unfortunate because the logger we have doesn't log what has been purged. We should instead make our own purge command that also keeps track of the deleted messages for the log

It could upload the messages to a pastebin or something idk

It seems like most prefixes except for bot mentions are used other than for bot commands, so it's a bit annoying when HarVM's like "eeee fake command"

Maybe this error should be suppressed if using a custom prefix rather than bot mention

Track pings, and report them when the user asks

One of Edmund's bots already did this so shouldn't be a problem

The alias help text gives /alias set hi "user dm -m \"Hello!\" -2 " as an example, but user dm doesn't exist.

Maybe there can also be a user executor that stores the @mention of the user who sent the message in an envvar:

@wrapper
  @main
    user executor -> me
    data log "I agree with the great and logical $(me)!"
  data run "batch $(main)" --
alias set agreewme "batch $(wrapper)"

Speaking of data run, which is used to pass arguments as envvars to an aliased batch command, there should be a version where a sequence of names is given, then after a -- the values will be assigned in order. For example,

@wrapper
  @main
    data -a dividend / -b divisor -> quotient
    data log "$(dividend) / $(divisor) = $(quotient)
  data params dividend divisor -c "batch $(main)" --
alias set divide "batch $(wrapper)"

where calling divide 6 3 would output 6 / 3 = 2

This can be used to pass multiple variables into an aliased batch command (the workaround for defining custom commands lol)

Because the other nonessential bots will be removed I think, we should add our own !mute command

It should temporarily add the Silenced role and remove it after a given amount of time. Maybe it should also allow specifying a reason

Either the command should require specifying the role every time (and then alias the command to a less verbose mute) or there will be a command for setting/creating the silenced role (and this will be stored in data manager I'm guessing)

Kind of annoying to have to wait to make a quick edit

also do for othe rmod commands pls thank