diff options
| -rw-r--r-- | bash_include | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bash_include b/bash_include index 5647ac4..7dd5211 100644 --- a/bash_include +++ b/bash_include @@ -853,6 +853,7 @@ if [ "`uname`" = "Linux" ] then [ "$interactive_shell" ] && echo "Setting special things for Linux" REALPATH_PROGRAM="readlink -f" + ulimit -c unlimited fi [ "$interactive_shell" ] && echo "Setting shell options" |