zsh-users/zsh-syntax-highlighting
PATH_DIRS shouldn't be honoured after `sudo`
Offen
#595 geöffnet am 24.12.2018
Buggood first issuesyntax:command-word
Repository-Metriken
- Stars
- (22.617 Sterne)
- PR-Merge-Metriken
- (PR-Metriken ausstehend)
Beschreibung
The main highlighter explicitly sets PATH_DIRS if the user has that enabled:
This is so, if $^path/foo/bar(*N) exists, % foo/bar will be highlighted in green. However, that also happens in sudo foo/bar, even though sudo doesn't do path searches when there's a / in the argument — at least, I think that's how sudo behaves, but double-check that before making any code change on our end.