From 5fd2ae8981620a7d72628fc92b98a468c8298a89 Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Tue, 17 Mar 2020 02:21:08 +0000 Subject: [PATCH] 'main': Add TODO. --- highlighters/main/main-highlighter.zsh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 7333631..0c3d45a 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -641,6 +641,9 @@ _zsh_highlight_main_highlighter_highlight_list() else _zsh_highlight_main_highlighter_expand_path $arg if [[ $arg != $REPLY ]]; then + # TODO: Is this right? Shouldn't we simply check whether it's + # executable? It's not just aliases and reserved words that aren't + # considered here; builtins should likewise be excluded. _zsh_highlight_main__type "$REPLY" 0 0 res="$REPLY" fi