Pre built Virtual Machine

The easiest approach is to use a pre-built virtual machine. Vagrant works with VirtualBox to manage and distribute pre-configured virtual machines.

First, download and install:

• VirtualBox
• Vagrant

After installing Vagrant, there should be a vagrant executable in your PATH---if not, find where Vagrant was installed and add the bin directory to your PATH.

In a terminal, make a new directory for the virtual machine, and then download and install the pre-configured NetCore virtual machine:

# Make a new directory.
mkdir netcore
cd netcore

# Add the Vagrant pre-configured virtual machine.
vagrant box add netcore http://www.cs.princeton.edu/~cschlesi/netcore_base.box
vagrant init netcore

Now you can use Vagrant to start the new virtual machine. From the netcore directory you just created:

# Start the virtual machine.
vagrant up

# SSH into the virtual machine.
vagrant ssh

Note that if vagrant ssh doesn't work, you can use an SSH client of your choice and SSH directly into the virtual machine (the username and password are both vagrant):

ssh -p 2222 vagrant@127.0.0.1

To shut down the virtual machine, first exit the SSH session, and then use the suspend command:

vagrant suspend

See the Vagrant documentation for more details.

Finishing Touches

You will still need to clone the NetCore repository. For this and more, see the finishing touches page.