add_proxy.sh

vagrant plugin install vagrant-proxyconf
mkdir -p ~/.vagrant.d
cat <<EOF > ~/.vagrant.d/Vagrantfile 
Vagrant.configure("2") do |config|
  if Vagrant.has_plugin?("vagrant-proxyconf")
    config.proxy.http     = "http://www-proxy.us.oracle.com:80/"
    config.proxy.https    = "http://www-proxy.us.oracle.com:80/"
    config.proxy.no_proxy = "localhost,127.0.0.1,.example.com"
  end
  # ... other stuff
end
EOF