From 3ffcfde4c46cf827bdbfcbd759f69aad6ff7b39f Mon Sep 17 00:00:00 2001
From: David Majnemer <dmajnem2@uiuc.edu>
Date: Mon, 31 May 2010 15:41:12 -0700
Subject: [PATCH] use a more standard way of changing core dump size

---
 zsh/00_options | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/zsh/00_options b/zsh/00_options
index 6a7f0d3..2973d5a 100755
--- a/zsh/00_options
+++ b/zsh/00_options
@@ -2,8 +2,8 @@
 WORDCHARS=''
 
 # disable core dumps
-if ( limit coredumpsize >/dev/null 2>&1) ; then
-    limit coredumpsize 0
+if ( ulimit -c >/dev/null 2>&1 ) ; then
+	ulimit -c 0
 fi
 
 # clear on exit