view contrib/vagrant/Vagrantfile @ 22617:1625770c2ce1

push: use `exchange.push` in `commands.push`

To gain access to all results from the push, we need to have access to the
`pushoperation` object. We call `exchange.push` to do so.

It is impossible to just change the `localrepo.push` signature because the
change may be too subtle to be caught by external extension wrapping
`localrepo.push`.

This mean we'll have to kill `localrepo.push` because just using
`exchange.push` in `commands.py` would silently disable all wrapping around
`localrepo.push` by third-party extensions. So we'll remove it in a later
changeset to get such extensions to fail noisily.

# -*- mode: ruby -*-

Vagrant.configure('2') do |config|
  # Debian 7.4 32-bit i386 without configuration management software
  config.vm.box = "puppetlabs/debian-7.4-32-nocm"
  #config.vm.box = "pnd/debian-wheezy32-basebox"
  config.vm.hostname = "tests"

  config.vm.define "tests" do |conf|
    conf.vm.provision :file, source: "run-tests.sh", destination:"run-tests.sh"
    conf.vm.provision :shell, path: "provision.sh"
    conf.vm.synced_folder "../..", "/hgshared"
  end
end