Skip to content
Snippets Groups Projects
Commit a7235503 authored by Florian Deuerlein's avatar Florian Deuerlein
Browse files

Revert "Disable core dumps" 

This reverts commit 75ecec25
parent 2853852d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 4 deletions
base/user_setup.sh
+ 0
− 4
View file @ a7235503
# user setup script # user setup script
# Disable core dumps
ulimit -c 0
# set git config # set git config
if [ ! "$(git config --get user.name)" ] if [ ! "$(git config --get user.name)" ]
then then
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment