diff options
| author | Igor Urazov <z0rc@users.noreply.github.com> | 2017-10-21 04:31:34 +0300 |
|---|---|---|
| committer | Junegunn Choi <junegunn.c@gmail.com> | 2017-10-21 10:31:34 +0900 |
| commit | eaf6eb897879becff31ea9b27046c0eff9e1e646 (patch) | |
| tree | 26d0a5c1875e243954b726b95016ba3c43c2eefc /.gitignore | |
| parent | 3af63bcf1f203c9716a3f69e1264b8877e528941 (diff) | |
[completion] Ensure ps called as command (#1098)
When `ps` is aliased for something uncommon, like `alias ps=grc ps` which colorizes ps output, the output of `ps` can be unexpected and/or undesired.
This change makes ps to be always executed as command, even if it's aliased.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions