sudo mkfs -t ext4 /dev/xvdb
echo "/dev/xvdb       /opt   ext4    defaults        0       2" >> /etc/fstab
sudo mount -a
sudo apt-get install openjdk-7-jre
sudo dpkg-reconfigure dash

wget -c "http://xilinx-ax-dl.entitlenow.com/akdlm/dl/ul/2013/10/18/R209855202/Xilinx_ISE_DS_Lin_14.7_1015_1.tar/479986a6549d9a03fc896eb13a43784f/538F22A6/Xilinx_ISE_DS_Lin_14.7_1015_1.tar?akdm=1&filename=Xilinx_ISE_DS_Lin_14.7_1015_1.tar&fileExt=.tar" -O Xilinx_ISE_DS_Lin_14.7_1015_1.tar

for f in `cat file-log-uniq`; do mkdir -p .`dirname $f`; cp ../Xilinx-real$f .$f ; done

make git

$ ssh -X server
# pulls in mostly just stuff we want, without the entire world
$ apt-get install libgtk2.0-0
$ tar xvf
$ cd 
$ ./xsetup


sudo apt-get install vim git libgtk2.0-0 xserver-common