Turtle behind a proxy

[shaka_hacker]

am a newbie and I updated the Lan turtle to version 2 manually but, now all the modules are gone and am sitting behind a proxy, how do I configure the turtle to access the proxy for downloads??

[shaka_hacker]

figured it out you can actually use the export http_export command