From c02b5d1c427b4a203eef65e2f05d1e3faa066fbb Mon Sep 17 00:00:00 2001 From: Charles Date: Fri, 6 Sep 2019 15:09:46 +0200 Subject: added ghci and gdb config files --- .zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.zshrc') diff --git a/.zshrc b/.zshrc index ffe90cc..a102960 100644 --- a/.zshrc +++ b/.zshrc @@ -14,7 +14,7 @@ bindkey -v setopt auto_cd setopt pushd_ignore_dups setopt list_rows_first -set extendedglob +setopt extendedglob # alias expansion bindkey "^ " _expand_alias # ctrl+space to expand -- cgit