diff options
| author | terminaldweller <thabogre@gmail.com> | 2022-06-12 13:45:04 +0000 |
|---|---|---|
| committer | terminaldweller <thabogre@gmail.com> | 2022-06-12 13:45:04 +0000 |
| commit | 0fb31be7608f141f28abf0d8fa88e6ffa242d89b (patch) | |
| tree | 39fe9ff754bee68965d6573dd13574b2e0118559 /rhel8/Vagrantfile | |
| parent | rhel (diff) | |
| download | vagrantboxes-0fb31be7608f141f28abf0d8fa88e6ffa242d89b.tar.gz vagrantboxes-0fb31be7608f141f28abf0d8fa88e6ffa242d89b.zip | |
ubuntu18 and ubuntu20
Diffstat (limited to '')
| -rw-r--r-- | rhel8/Vagrantfile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/rhel8/Vagrantfile b/rhel8/Vagrantfile index 528745a..72ac57a 100644 --- a/rhel8/Vagrantfile +++ b/rhel8/Vagrantfile @@ -20,9 +20,8 @@ Vagrant.configure('2') do |config| config.ssh.connect_timeout = 15 if Vagrant.has_plugin?('vagrant-proxyconf') - config.proxy.http = 'http://192.168.1.103:9995' - config.proxy.https = 'http://192.168.1.103:9995' - # config.proxy.noproxy = '127.0.0.1, localhost' + # config.proxy.http = 'http://192.168.1.103:9995' + # config.proxy.https = 'http://192.168.1.103:9995' end # shares |