I'm working on developing a Discord bot using serenity-rs, but I'm unable to work on it at school, because Discord is blocked over the WiFi. I have access to a proxy server that I use the connect to the internet, but it is not system-wide, and it needs to be manually set.
Is there a somewhat simple way to run the server under this proxy? I don't want to do something super complicated, because I'm only going to use it for development.
Thank you