= CentOS =
Linux distro RedHat clone.

http://mirrors.nfsi.pt/CentOS/6.5/isos/x86_64/CentOS-6.5-x86_64-bin-DVD1.iso

== Install PHP 5.4 on CentOS 6.5 ==
https://webtatic.com/packages/php54/

Steps:
 * lsb_release -a
 * rpm -Uvh http://mirror.webtatic.com/yum/el6/latest.rpm
 * yum install php54w
 * yum install yum-plugin-replace
 * yum replace php-common --replace-with=php54w-common
 * service httpd restart

== Minimal CentOS 6.5 ==
 * wget http://mirrors.nfsi.pt/CentOS/6.5/isos/i386/CentOS-6.5-i386-minimal.iso

https://docs.vagrantup.com/v2/boxes/base.html

== CentOS 5.10 ==
 * wget https://vagrantcloud.com/box-cutter/centos510-i386/version/1/provider/virtualbox.box # centos510-i386-nocm.box
 * wget http://ftp.up.pt/CentOS/5.10/isos/i386/CentOS-5.10-i386-bin-1of8.iso

== Vagrant box ==
CentOS 6.4 i386 Minimal (VirtualBox Guest Additions 4.3.2, Chef 11.8.0, Puppet 3.3.1)

http://developer.nrel.gov/downloads/vagrant-boxes/CentOS-6.4-i386-v20131103.box

 * cd ~/Downloads/vagrantBoxes/
 * wget http://developer.nrel.gov/downloads/vagrant-boxes/CentOS-6.4-i386-v20131103.box