polserver/devmachine
Eric Swanson 05afc9b851
Upgrade Vagrant setup to Ubuntu 20.04 (focal64) (#236)
* Upgrade Vagrant setup to Ubuntu 20.04 (focal64)

* Add clang and clang-format.

Now build_tools.sh -c works too

* Update comment: refer to git repo, not SVN
2020-08-20 09:47:21 +02:00
..
prepareMachine.sh Upgrade Vagrant setup to Ubuntu 20.04 (focal64) (#236) 2020-08-20 09:47:21 +02:00
README.txt More on line endings normalization 2016-02-12 11:39:51 +01:00

What is this about
============

We are using Vagrant to set up a standard Linux development virtual
machine for POL. It runs Ubuntu 12.04 LTS.


Installing Vagrant
============

Read the docs here: 
http://docs.vagrantup.com/v2/installation/index.html

The most recent version of Vagrant can be found at: 
http://downloads.vagrantup.com/


Running the machine
=============

After installing, go to the root folder (where the "Vagrant" file is) and type:

	vagrant up

It will take a while to create the virtual machine and install the required packages.
Once this is done, you can access the machine by typing:
	
	vagrant ssh

If you are on Windows (and not using cygwin or git-bash), there will be an error. The error
should have enough information so you can connect using Putty or a similar SSH client.