From 7339b753fbf2da0c8787c9a4759c8ab9981dee86 Mon Sep 17 00:00:00 2001
From: Benjamin Sago <ogham@bsago.me>
Date: Wed, 27 Sep 2017 12:36:31 +0100
Subject: [PATCH] vagrant: Update apt before installing
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I updated my Vagrant box and destroyed and rebuilt it, and for some reason, it didn’t know about ‘fish’. Updating beforehand fixes it.
---
 Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Vagrantfile b/Vagrantfile
index f6107da..083c08a 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -20,6 +20,7 @@ Vagrant.configure(2) do |config|
     # apt can do.
     config.vm.provision :shell, privileged: true, inline: <<-EOF
         set -xe
+        apt-get update
         apt-get install -qq -o=Dpkg::Use-Pty=0 -y \
           git cmake curl attr libgit2-dev zip \
           fish zsh bash bash-completion