From b5d538ece105eb719ad6b9f8ef147e488b60ba19 Mon Sep 17 00:00:00 2001
From: Fredrik Thulin <fredrik@thulin.net>
Date: Thu, 4 Apr 2019 14:59:36 +0200
Subject: [PATCH] init, from eduid-ops

---
 global/pre-tasks.d/010fix-package-manager | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 global/pre-tasks.d/010fix-package-manager

diff --git a/global/pre-tasks.d/010fix-package-manager b/global/pre-tasks.d/010fix-package-manager
new file mode 100755
index 0000000..6d10426
--- /dev/null
+++ b/global/pre-tasks.d/010fix-package-manager
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+# dpkg frequently breaks with automatic reboots.
+# Make an attempt to get it back into working order.
+dpkg --configure -a