Remove ctrl-d ignore

tomsquest · May 17, 2016 · 7b4f2b2 · 7b4f2b2
1 parent fe9d525
commit 7b4f2b2
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/plsqlrc b/plsqlrc
@@ -9,8 +9,6 @@
 \set HISTFILE ~/.psql_history- :DBNAME
 \set HISTSIZE 20000
 
--- Huge history file -- ctrl-r is useful
+-- Better null printing
 \pset null '[NULL]'
 
--- Don't exit with ctrl-d unless you press it 5 times
-\set IGNOREEOF 5