zsh-users/zsh-syntax-highlighting
Auf GitHub ansehenPATH_DIRS shouldn't be honoured after `sudo`
Open
#595 geöffnet am 24. Dez. 2018
Buggood first issuesyntax:command-word
Repository-Metriken
- Stars
- (22.617 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
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.