diff options
| author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2022-05-20 17:58:20 +0300 |
|---|---|---|
| committer | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2022-05-20 17:58:51 +0300 |
| commit | 74ff02a819c5b83b8022c973ce100e41104a41cf (patch) | |
| tree | a04d8ffc4519215e47cf233be77c3dc93004c6af /internal/worker.zsh | |
| parent | 406e6aa9e46429872c211d0c37517238ce9da3db (diff) | |
work around a bug in zsh 5.4.1 (#1872)
Here's the bug:
zsh -fc 'print "${#${x}}"'
This code should print "0" but it prints "1" in zsh 5.4.1.
Diffstat (limited to 'internal/worker.zsh')
0 files changed, 0 insertions, 0 deletions