From 1332a7dcb40dbd6b49af084dcd91639ffc846b16 Mon Sep 17 00:00:00 2001
From: johannst <stoelp@eit.uni-kl.de>
Date: Thu, 27 Apr 2017 21:21:50 +0200
Subject: disable ctrl-d logoff in bash

---
 bashrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bashrc b/bashrc
index 294ef9e..49432de 100644
--- a/bashrc
+++ b/bashrc
@@ -9,6 +9,9 @@ if [ "$TERM" == "xterm" ]; then export TERM=xterm-256color; fi
 # disable sticky mode
 stty -ixon
 
+# disable ctrl-d logoff
+set -o ignoreeof on
+
 #}}}
 #{{{  vi mode 
 
-- 
cgit v1.2.3