summaryrefslogtreecommitdiff
path: root/contrib/vagrant
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2021-04-26 17:28:56 +0200
committerChristian Grothoff <christian@grothoff.org>2021-04-26 17:28:56 +0200
commit82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5 (patch)
tree8c50e8d74033214e711929c3244e5aca34f9705f /contrib/vagrant
parent51c0c5072fa27f4964778512a0040c77cce7cd04 (diff)
-fix misc typos
Diffstat (limited to 'contrib/vagrant')
-rw-r--r--contrib/vagrant/Vagrantfile2
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|
config.cache.scope = :box
end
- # use http proxy if avaiable
+ # use http proxy if available
if ENV['http_proxy'] && Vagrant.has_plugin?("vagrant-proxyconf")
config.proxy.http = "$http_proxy"
config.proxy.https = "$https_proxy"