From 031336b639ccd5d093ae26b5fcfda374b50b510b Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Mon, 01 Jun 2020 12:43:23 +0000
Subject: [PATCH] Genericised shell options

---
 zsh/.zshrc |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/zsh/.zshrc b/zsh/.zshrc
index 9ddb678..ef4af02 100644
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -8,13 +8,13 @@
 SAVEHIST=10000
 
 # ZSH options
-setopt autocd extendedglob # Automatically cd without cd and expand globs
+setopt autocd extendedglob correct_all # Automatically cd without cd and expand globs
 unsetopt beep notify # Turn off terminal beeps
 bindkey -e #Emacs mode
 
-# common aliases
+# common shell options
 source ~/.commonshell
-source /usr/share/doc/pkgfile/command-not-found.zsh
+[ -f /usr/share/doc/pkgfile/command-not-found.zsh ] && source /usr/share/doc/pkgfile/command-not-found.zsh
 
 # Make the delete key work normally
 bindkey '^[[3~' delete-char

--
Gitblit v1.9.3