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

Disable core dumps

parent dc30a6fc
No related branches found
No related tags found
No related merge requests found
Pipeline #22034 passed with stage
in 40 minutes and 13 seconds
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
base/user_setup.sh
+ 4
− 0
View file @ 75ecec25
# user setup script
# Disable core dumps
ulimit -c 0
# set git config
if [ ! "$(git config --get user.name)" ]
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