From b209dd98527fd357e716d44ec4adb430504eae56 Mon Sep 17 00:00:00 2001
From: Paul Iannetta <paul.iannetta@inria.fr>
Date: Mon, 19 Nov 2018 00:51:01 +0100
Subject: zsh dot files

---
 .config/zsh/rc/options.rc | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 .config/zsh/rc/options.rc

(limited to '.config/zsh/rc/options.rc')

diff --git a/.config/zsh/rc/options.rc b/.config/zsh/rc/options.rc
new file mode 100755
index 0000000..bc91ccb
--- /dev/null
+++ b/.config/zsh/rc/options.rc
@@ -0,0 +1,7 @@
+setopt CORRECT
+setopt ALWAYS_TO_END
+setopt NOTIFY
+setopt NOBEEP
+setopt AUTOLIST
+setopt AUTOCD
+setopt PRINT_EIGHT_BIT
-- 
cgit v1.2.3-54-g00ecf