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 |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/zsh/.zshrc b/zsh/.zshrc
index 2abab2b..ef4af02 100644
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -12,9 +12,9 @@
 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