From a5346d615eeaf18be6121bd3221f8e99bc390f96 Mon Sep 17 00:00:00 2001
From: Mathieu Othacehe <othacehe@gnu.org>
Date: Fri, 26 Feb 2021 14:47:44 +0100
Subject: [PATCH] remote: Enable core dump generation.

* src/cuirass/remote-server.scm (remote-server): Enable core dump generation.
---
 src/cuirass/remote-server.scm | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/cuirass/remote-server.scm b/src/cuirass/remote-server.scm
index 4d9db15..4cd7f53 100644
--- a/src/cuirass/remote-server.scm
+++ b/src/cuirass/remote-server.scm
@@ -476,6 +476,10 @@ exiting."
                      (%package-database database)
                      (%public-key public-key)
                      (%private-key private-key))
+
+        ;; Enable core dump generation.
+        (setrlimit 'core #f #f)
+
         (when user
           (gather-user-privileges user))