Skip to content
This repository was archived by the owner on Nov 9, 2017. It is now read-only.

Conversation

@dscho
Copy link
Member

@dscho dscho commented Jan 28, 2014

Vagrant offers a painless way to install and use a defined Linux
development environment. We offer a Vagrantfile to that end for two
reasons:

  1. To allow Windows users to gain the full power of Linux' Git

  2. To offer users an easy path to verify that the issue they are about
    to report is really a Windows-specific issue; otherwise they would
    need to report it to [email protected] instead.

Using it is easy: Download and install https://www.virtualbox.org/, then
download and install https://www.vagrantup.com/ (both are Open Source in
case you desire a more complicated installation), then direct your
command-line window to the Git source directory containing the Vagrantfile
and run the commands:

vagrant up
vagrant ssh

Signed-off-by: Johannes Schindelin [email protected]

Vagrant offers a painless way to install and use a defined Linux
development environment. We offer a Vagrantfile to that end for two
reasons:

1) To allow Windows users to gain the full power of Linux' Git

2) To offer users an easy path to verify that the issue they are about
   to report is really a Windows-specific issue; otherwise they would
   need to report it to [email protected] instead.

Using it is easy: Download and install https://www.virtualbox.org/, then
download and install https://www.vagrantup.com/ (both are Open Source in
case you desire a more complicated installation), then direct your
command-line window to the Git source directory containing the Vagrantfile
and run the commands:

	vagrant up
	vagrant ssh

Signed-off-by: Johannes Schindelin <[email protected]>
@dscho
Copy link
Member Author

dscho commented Jan 28, 2014

This replaces the former approach to put the Vagrantfile into the /git/ directory: in this developer's mind it is better to expose the whole of msysGit under /vagrant/ than just the Git sources.

It would not do to delete the .vagrant/ directory by mistake: it
contains all the relevant information used by Vagrant to manage the
virtual machine (e.g. to enable "vagrant ssh" to find the machine).

Signed-off-by: Johannes Schindelin <[email protected]>
dscho added a commit that referenced this pull request Jan 28, 2014
@dscho dscho merged commit 742ab37 into master Jan 28, 2014
@dscho dscho deleted the vagrant branch January 28, 2014 18:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants