judge0 / discord-bot Goto Github PK

Hello!

In using the Discord bot, it's inevitable that a typo happens, causing wrong output, and needing to re-enter code to get the right output.
I primarily use the bot to help with teaching and learning languages with people on Discord, and when there's a typo like this, the chat gets clogged with many Judge0Bot messages.

It would be great to have the ability to somehow:

1. Ask the bot to re-evaluate some code and replace its output with the new output
2. Ask the bot to delete one of its output messages

Reasons you might want to delete is if multiple people try the same thing and you're trying to tidy the chat up, an error happened and you don't want to re-run, or maybe somebody ninja'd you.

I've seen controls for bots on Discord implemented elsewhere by use of Reactions, and I think that's worth considering here for controls. Maybe a re-play 🔁 'button', or have it re-run automatically when the original message is edited (if possible, not familiar with Discord's API)

Thanks!

And thanks for the bot & eval service, both are very useful.

The displaying of the bot main developer is currently crashed due to transferring the Judge0Bot application from the personal profile of Skilldeliver to the newmade team of Judge0

I have done every step with an admin command prompt until the part where it comes to pipenv run start <token>.
I first did that code and it threw this error:

Traceback (most recent call last):
  File "F:\Anaconda\Lib\runpy.py", line 193, in _run_module_as_main
    "__main__", mod_spec)
  File "F:\Anaconda\Lib\runpy.py", line 85, in _run_code
    exec(code, run_globals)
  File "F:\Python\JudgeBot\discord-bot\bot\__main__.py", line 23, in <module>
    token = sys.argv[1] if len(sys.argv) > 2 else os.environ["BOT_TOKEN"]
  File "C:\Users\taysi\.virtualenvs\discord-bot-ZAz7AEEA\lib\os.py", line 678, in __getitem__
    raise KeyError(key) from None
KeyError: 'BOT_TOKEN'

Then I went into my environment variables and added BOT_TOKEN with a value of my token. Then I tried pipenv run start but it threw the same error.

If you find software that doesn’t have a license, that generally means you have no permission from the creators of the software to use, modify, or share the software. Although a code host such as GitHub may allow you to view and fork the code, this does not imply that you are permitted to use, modify, or share the software for any purpose. - choosealicense.com

Please add a license. Currently potential contributors do not have the permission to develop on their own discord bot instance. They have a right to fork the project as per GitHub ToS but they do not have permission to modify it and running their own local instance.

Develop a competitive programming feature where the user can read a problem-solving description, then post its solution and finally, the bot should return test case statuses.

Hello, I was going to use the bot to troll a friend on his server but I'm not understanding how and where have I to put the token of my bot.
Thank you.

Hi @skilldeliver,

I have a feature request that I think might be useful for us to know how many and what submissions have been made with the bot.

I would like to have a simple SQLite database with the single table submissions that has two attributes: token and created_at. The first attribute token would be a token of a submission that was created and the second attribute would be a date and time of when that submission was created. Both values should be taken from actual submission (to have consistent values).

Let me know what you think.

BR,
Herman