From 0cff51f17d19b4cf9867553759babf1520eda211 Mon Sep 17 00:00:00 2001 From: druckdev <63563978+druckdev@users.noreply.github.com> Date: Mon, 28 Sep 2020 02:14:22 +0200 Subject: [PATCH] zsh: Add alias for listing zsh options + values --- .config/zsh/plugins/alias.zsh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.config/zsh/plugins/alias.zsh b/.config/zsh/plugins/alias.zsh index ecf2832..d9981e2 100644 --- a/.config/zsh/plugins/alias.zsh +++ b/.config/zsh/plugins/alias.zsh @@ -81,6 +81,9 @@ alias grepdate='grep -E "(={8})|([:0-9]{10} [:0-9]{8})"' # 'Temporary' shell in alternate mode for hiding commands in scrollback. alias tmpshell='tput smcup && zsh && tput rmcup' + # List options and their value (on|off) line by line. This makes it a lot + # easier to grep for activated options than using `setopt` and `unsetopt`. + alias listopts='printf "%s %s\n" "${(kv)options[@]}"' # Named directories hash -d docs="$HOME"/Documents/