Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/56365
Change subject: Drop NFS support
......................................................................
Drop NFS support
I found Vagrant's integration with NFS to be unreliable. Deciding whether or
not to use it at run-time will entail supporting two rather divergent setups,
each of which is likely to exhibit its own set of problems. Reliability and
portability trumps performance, so I'm switching to exclusively using
VirtualBox Shared Folders by default. It's still possible to make a simple edit
to the Vagrantfile to get NFS, but I won't support it.
Change-Id: I31a24d94f6f207010901831e0fa6547b3a6f5d46
---
M Vagrantfile
1 file changed, 2 insertions(+), 9 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/65/56365/1
diff --git a/Vagrantfile b/Vagrantfile
index 403bbfd..9230093 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,11 +1,6 @@
# -*- mode: ruby -*-
# vi: set ft=ruby :
-# Check if the host environment supports NFS.
-def host_supports_nfs?
- system( '( nfsstat || nfsiostat ) &>/dev/null' ) and not $?.exitstatus
-end
-
Vagrant.configure('2') do |config|
config.vm.hostname = 'mediawiki-vagrant'
@@ -26,15 +21,13 @@
config.vm.synced_folder '.', '/vagrant',
owner: 'vagrant',
group: 'www-data',
- extra: 'dmode=770,fmode=770',
- nfs: host_supports_nfs?
+ extra: 'dmode=770,fmode=770'
config.vm.synced_folder 'mediawiki', '/var/www/w',
owner: 'vagrant',
group: 'www-data',
extra: 'dmode=770,fmode=770',
- create: true,
- nfs: host_supports_nfs?
+ create: true
config.vm.provider :virtualbox do |vb|
# See http://www.virtualbox.org/manual/ch08.html for additional
options.
--
To view, visit https://gerrit.wikimedia.org/r/56365
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I31a24d94f6f207010901831e0fa6547b3a6f5d46
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
