Skip to content

Instantly share code, notes, and snippets.

@jhale
Last active August 29, 2015 13:56
Show Gist options
  • Select an option

  • Save jhale/8944436 to your computer and use it in GitHub Desktop.

Select an option

Save jhale/8944436 to your computer and use it in GitHub Desktop.
Vagrant script to setup a basic FEniCS environment on an Ubuntu Server Cloud Image

Vagrant script to install Ubuntu with latest FEniCS Project and basic GUI

This project has moved to Bitbucket.

#!/bin/bash
sudo apt-get -y install fluxbox lightdm-gtk-greeter
#!/bin/bash
sudo add-apt-repository ppa:fenics-packages/fenics
sudo apt-get update
sudo apt-get -y install fenics
sudo apt-get dist-upgrade
#!/bin/bash
sudo apt-get -y install ipython
# -*- mode: ruby -*-
# vi: set ft=ruby :
# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
VAGRANTFILE_API_VERSION = "2"
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
# All Vagrant configuration is done here. The most common configuration
# options are documented and commented below. For a complete reference,
# please see the online documentation at vagrantup.com.
# Every Vagrant virtual environment requires a box to build off of.
config.vm.box = "precise-server-cloudimg-amd64-vagrant-disk1"
# The url from where the 'config.vm.box' box will be fetched if it
# doesn't already exist on the user's system.
config.vm.box_url = "http://cloud-images.ubuntu.com/vagrant/precise/current/precise-server-cloudimg-amd64-vagrant-disk1.box"
# Create a forwarded port mapping which allows access to a specific port
# within the machine from a port on the host machine. In the example below,
# accessing "localhost:8080" will access port 80 on the guest machine.
# config.vm.network :forwarded_port, guest: 80, host: 8080
# Create a private network, which allows host-only access to the machine
# using a specific IP.
# config.vm.network :private_network, ip: "192.168.33.10"
# Create a public network, which generally matched to bridged network.
# Bridged networks make the machine appear as another physical device on
# your network.
# config.vm.network :public_network
# If true, then any SSH connections made will enable agent forwarding.
# Default value: false
# config.ssh.forward_agent = true
# Share an additional folder to the guest VM. The first argument is
# the path on the host to the actual folder. The second argument is
# the path on the guest to mount the folder. And the optional third
# argument is a set of non-required options.
# config.vm.synced_folder "../data", "/vagrant_data"
# Provider-specific configuration so you can fine-tune various
# backing providers for Vagrant. These expose provider-specific options.
# Example for VirtualBox:
#
config.vm.provider :virtualbox do |vb|
# Don't boot with headless mode
vb.gui = true
# Use VBoxManage to customize the VM. For example to change memory:
vb.customize ["modifyvm", :id, "--memory", "1024"]
end
config.vm.provision "shell",
path: "https://gist.github.com/jhale/8944436/raw/provision-fenics.sh"
config.vm.provision "shell",
path: "https://gist.github.com/jhale/8944436/raw/provision-basic-gui.sh"
config.vm.provision "shell",
path: "https://gist.github.com/jhale/8944436/raw/provision-utilities.sh"
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment