From 2561e2a35601383bfba30da58d378303cb9e39aa Mon Sep 17 00:00:00 2001
From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Wed, 7 Aug 2024 21:23:37 +0200
Subject: [PATCH] mkosi: Disable debuginfod

We generally don't care about library debuginfo so let's just disable
debuginfod so it doesn't get in the way when debugging.

We use /root/.gdbinit as the systemwide gdbinit location is distribution
specific.
---
 mkosi.extra/root/.gdbinit | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 mkosi.extra/root/.gdbinit

diff --git a/mkosi.extra/root/.gdbinit b/mkosi.extra/root/.gdbinit
new file mode 100644
index 00000000000..e576a26803b
--- /dev/null
+++ b/mkosi.extra/root/.gdbinit
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: LGPL-2.1-or-later
+
+set debuginfod enabled off