From 908ff595a3096614daadf854ef223b70a7ed4027 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Cluseau?= <mcluseau@isi.nc>
Date: Thu, 14 Feb 2019 11:24:14 +1100
Subject: [PATCH] docker: keep grub for now

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index e1d8d4b..7f11527 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,4 +17,7 @@ run apt-get update \
  && apt-get install -y genisoimage gdisk dosfstools util-linux udev \
  && apt-get clean
 
+run yes |apt-get install -y grub2 grub-pc-bin grub-efi-amd64-bin \
+ && apt-get clean
+
 copy --from=build /go/bin/ /bin/