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