A dumb but very simple and often good enough trick I used on some server specific discord bots I used to run, was to have a command to stop the bot, and a separate python script that did git reset --hard, then pulled, before starting the bot again.
git reset --hard
Ugly, but surprisingly durable
Mikael, That is a great idea.
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
A dumb but very simple and often good enough trick I used on some server specific discord bots I used to run, was to have a command to stop the bot, and a separate python script that did
git reset --hard, then pulled, before starting the bot again.Ugly, but surprisingly durable
Mikael, That is a great idea.