From ff96681b21a7dca0b6f09ea73569e8c74aa3cf8a Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Sun, 21 Sep 2008 19:11:40 +0200
Subject: [PATCH] Zsh doesn't quit when <C-d> is pressed.

---
 zsh/rc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/zsh/rc b/zsh/rc
index 76d0b29..6fd54ee 100644
--- a/zsh/rc
+++ b/zsh/rc
@@ -73,6 +73,9 @@ zstyle ':completion:*' list-prompt '%p'
 # Enable zsh's extended glob abilities.
 setopt extendedglob
 
+# Don't exit if <C-d> is pressed.
+setopt ignoreeof
+
 # If ^C is pressed while typing a command, add it to the history so it can be
 # easily retrieved later and then abort like ^C normally does. This is useful
 # when I want to abort an command to do something in between and then finish
-- 
2.44.1