From 75ecec251060f7bd8104f0a45d60231a9fb868a1 Mon Sep 17 00:00:00 2001
From: Florian Deuerlein <florian.deuerlein@ebrains.eu>
Date: Tue, 18 Apr 2023 15:05:26 +0200
Subject: [PATCH] Disable core dumps

---
 base/user_setup.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/base/user_setup.sh b/base/user_setup.sh
index 651feb5..263cab4 100644
--- a/base/user_setup.sh
+++ b/base/user_setup.sh
@@ -1,4 +1,8 @@
 # user setup script
+
+# Disable core dumps
+ulimit -c 0
+
 # set git config
 if [ ! "$(git config --get user.name)" ]
 then
-- 
GitLab