Don't dump cores in zsh.

They just take up space and take some time. If necessary they can be
activated manually.

diff --git a/zsh/rc b/zsh/rc
index 0d702b0f39b6f4b4403ccc0fbfa4d9f47e590bf9..070e3c10800b8c49a922688e733b6b0554124a9e 100644 (file)
--- a/zsh/rc
+++ b/zsh/rc
@@ -11,9 +11,6 @@ bindkey -v
 # Be paranoid, new files are readable/writable by me only.
 umask 077
 
-# Make sure core dumps are created.
-ulimit -c unlimited
-
 # Prevent overwriting existing files with '> filename', use '>| filename'
 # (or >!) instead.
 setopt noclobber