You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
Ask the bot to re-evaluate some code and replace its output with the new output
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 text was updated successfully, but these errors were encountered:
Hello, @Zulu-Inuoe !
Thank you for your feedback and feature request.
I am glad to know that Judge0 Discord bot is used for such purposes.
Regarding your 1. point.- what do you think about re-evaluating code not on clicking a reaction but on editing your message. I think on editing message is more convenient because it removes the need for sending your code once again. And yes - the Discord API allows such a thing.
Regarding your 2. point I agree that this will be a helpful feature.
Once again - thank you for your request and I will do my best to work on these features as soon as I can,
Regarding your 1. point.- what do you think about re-evaluating code not on clicking a reaction but on editing your message.
That would be the best behaviour, I agree. I wasn't sure how rich the discord API was with such things, so I merely proposed the reaction version as a fallback. Great to hear!
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:
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 text was updated successfully, but these errors were encountered: