From: Simon Ruderich <simon@ruderich.org>
Date: Sun, 21 Sep 2008 17:11:40 +0000 (+0200)
Subject: Zsh doesn't quit when <C-d> is pressed.
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=ff96681b21a7dca0b6f09ea73569e8c74aa3cf8a;p=config%2Fdotfiles.git

Zsh doesn't quit when <C-d> is pressed.
---

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