diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:28:56 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:28:56 +0200 |
| commit | 82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5 (patch) | |
| tree | 8c50e8d74033214e711929c3244e5aca34f9705f /contrib/vagrant/Vagrantfile | |
| parent | 51c0c5072fa27f4964778512a0040c77cce7cd04 (diff) | |
| download | gnunet-82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5.tar.gz gnunet-82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5.zip | |
-fix misc typos
Diffstat (limited to 'contrib/vagrant/Vagrantfile')
| -rw-r--r-- | contrib/vagrant/Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/vagrant/Vagrantfile b/contrib/vagrant/Vagrantfile index d6b671b24..de7f07ed5 100644 --- a/contrib/vagrant/Vagrantfile +++ b/contrib/vagrant/Vagrantfile | |||
| @@ -34,7 +34,7 @@ Vagrant.configure(2) do |config| | |||
| 34 | config.cache.scope = :box | 34 | config.cache.scope = :box |
| 35 | end | 35 | end |
| 36 | 36 | ||
| 37 | # use http proxy if avaiable | 37 | # use http proxy if available |
| 38 | if ENV['http_proxy'] && Vagrant.has_plugin?("vagrant-proxyconf") | 38 | if ENV['http_proxy'] && Vagrant.has_plugin?("vagrant-proxyconf") |
| 39 | config.proxy.http = "$http_proxy" | 39 | config.proxy.http = "$http_proxy" |
| 40 | config.proxy.https = "$https_proxy" | 40 | config.proxy.https = "$https_proxy" |