Added line-height to more body elements.
[website.git] / Vagrantfile
1 $script = <<-SCRIPT
2 sudo apt-get update
3 sudo apt-get install -y nginx certbot python-certbot-nginx
4 stack --version || wget -qO- https://get.haskellstack.org/ | sh
5 SCRIPT
6
7 $build = <<-SCRIPT
8 cd /vagrant
9 sudo stack --allow-different-user build
10 SCRIPT
11
12 $test = <<-SCRIPT
13 cd /vagrant
14 sudo stack --allow-different-user test
15 SCRIPT
16
17 $run = <<-SCRIPT
18 sudo killall website
19 cd /vagrant
20 sudo stack --allow-different-user exec website
21 SCRIPT
22
23 $runconf = <<-SCRIPT
24 sudo killall website
25 cd /vagrant
26 sudo stack --allow-different-user exec website config.json
27 SCRIPT
28
29 $deploy = <<-SCRIPT
30 cd /vagrant
31 sudo stack --allow-different-user install
32 cd /root/.local/bin
33 tar -cvjf website.tar.bz website
34 SCRIPT
35
36 Vagrant.configure("2") do |config|
37   config.vm.box = "debian/buster64"
38
39   config.vm.provider "virtualbox" do |vb|
40     vb.gui = false
41     vb.customize ["modifyvm", :id, "--memory", "6144"]
42     vb.customize ["modifyvm", :id, "--cpus", 4]
43     vb.customize ["modifyvm", :id, "--natdnshostresolver1", "on"]
44     vb.customize ["modifyvm", :id, "--uartmode1", "disconnected"]
45   end
46
47   config.vm.network "forwarded_port", guest: 80, host: 7000
48   config.vm.network "forwarded_port", guest: 22, host: 2822, id: "ssh"
49   config.vm.provision "shell", inline: $script
50
51   config.vm.provision "build", type: "shell", run: "never", inline: $build
52   config.vm.provision "test", type: "shell", run: "never", inline: $test
53   config.vm.provision "run", type: "shell", run: "never", inline: $run
54   config.vm.provision "runconf", type: "shell", run: "never", inline: $runconf
55   config.vm.provision "deploy", type: "shell", run: "never", inline: $deploy
56 end