From a723550374899005f8b907fa7490ab3c91b518a5 Mon Sep 17 00:00:00 2001
From: Florian Deuerlein <florian.deuerlein@ebrains.eu>
Date: Wed, 19 Apr 2023 07:12:35 +0200
Subject: [PATCH] Revert "Disable core dumps"

This reverts commit 75ecec251060f7bd8104f0a45d60231a9fb868a1
---
 base/user_setup.sh | 4 ----
 1 file changed, 4 deletions(-)

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