Visual Studio Codeを学内で利用する方法 code --proxy-server="proxy.cc.yamaguchi-u.ac.jp:8080" でVisual Studio Codeを起動するといいです。