search

python-discord / meta

Issue tracker for suggestions and other questions relating to our community
https://pythondiscord.com
31 stars 5 forks source link

Add tag for users stuck in the REPL #207

Closed shenanigansd closed 9 months ago

shenanigansd commented 1 year ago

Create a tag that summarizes the difference between the shell and the REPL, what each one is used for, and how to "escape" the REPL to get back to the shell.

wookie184 commented 10 months ago

I think this could be accomplished by improvements to the existing !repl tag (#214) though unless the info can be conveyed in a concise way it may make it too long.

wookie184 commented 10 months ago

Do you still think this is worth it given the new contents of the !repl tag: https://github.com/python-discord/bot/pull/2736

I think another tag would end up being a bit repetitive and probably not worth adding, same for https://github.com/python-discord/meta/issues/208

shenanigansd commented 9 months ago

That makes sense, I can close this issue