diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2024-05-04 21:51:51 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2024-05-04 21:51:51 +0200 |
| commit | f6843c1ae4f1d16cf2e68a318f82f2be3b32aff0 (patch) | |
| tree | f9bfff0669ba1bb937a00af3267be0bc2c97107c | |
| parent | 2b495c52dc5d5172f40b0f80b6cf994d578be630 (diff) | |
unset and comment strange option
| -rw-r--r-- | .zshrc | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -62,7 +62,11 @@ setopt CHASE_LINKS setopt AUTO_NAME_DIRS -setopt BRACE_CCL +# this should not be needed ever +# unclear why it is even implemented +# all relevant functionality should be possible without this anyway +# see #zsh@libera on 2024-04-14 +# setopt BRACE_CCL setopt EXTENDED_GLOB setopt MARK_DIRS setopt NUMERIC_GLOB_SORT |