'main': When the redirection operator '>&' or '<&' is followed by a positive integer, do not consider that as a filename; it's always a file descriptor.

Fixes #694.
2020-03-17 03:59:30 +00:00
parent 1024ae8177
commit fb69f4ca81
4 changed files with 19 additions and 6 deletions
--- a/highlighters/main/test-data/fd-target-not-filename.zsh
+++ b/highlighters/main/test-data/fd-target-not-filename.zsh
@@ -36,5 +36,5 @@ expected_region_highlight=(
  '1 4 builtin' # echo
  '6 8 default' # foo
  '9 10 redirection' # >&
-  '11 11 file-descriptor "issue #694"' # 2 (not path)
+  '11 11 numeric-fd' # 2 (not path)
 )