From 53105c5d6f08b1bea8ac8881b67dacbe190ccbb1 Mon Sep 17 00:00:00 2001
From: Evgeni Golov <evgeni@golov.de>
Date: Fri, 26 Jan 2024 13:29:39 +0100
Subject: [PATCH] clean up old Ubuntu initrds

for some reason /boot contains both initrds with and without .img
even if the ones with are not used, however, as /boot space is limited
they prevent upgrades of packages, failing our pipelines

delete them

we don't really care about new kernels, or rebooting those VMs, but we
care about updated userland, and this prevents it

See https://github.com/lavabit/robox/issues/294 for details
---
 roles/vagrant_workarounds/tasks/main.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/roles/vagrant_workarounds/tasks/main.yml b/roles/vagrant_workarounds/tasks/main.yml
index 16c9e4332..280e1e496 100644
--- a/roles/vagrant_workarounds/tasks/main.yml
+++ b/roles/vagrant_workarounds/tasks/main.yml
@@ -7,3 +7,9 @@
     vtype: boolean
   when:
     - ansible_os_family == 'Debian'
+
+# workaround for https://github.com/lavabit/robox/issues/294
+- name: clean up old Ubuntu initrds
+  shell: rm -f /boot/*-generic.img
+  when:
+    - ansible_os_family == 'Debian'