mirror of
https://github.com/dense-analysis/ale.git
synced 2026-04-26 17:30:24 +08:00
b390c69642
The previous version relied on a zsh-specific behavior where `<filename` after a pipe could redirect to the first command. This is the standard way to do it.