{{ message }}
This repository was archived by the owner on Nov 9, 2017. It is now read-only.
Conversation
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 git@vger.kernel.org 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 <johannes.schindelin@gmx.de>
Member
Author
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 <johannes.schindelin@gmx.de>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Vagrant offers a painless way to install and use a defined Linux
development environment. We offer a Vagrantfile to that end for two
reasons:
To allow Windows users to gain the full power of Linux' Git
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 git@vger.kernel.org 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:
Signed-off-by: Johannes Schindelin johannes.schindelin@gmx.de