Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Precommands and builtins #541

Open
phy1729 opened this issue Oct 1, 2018 · 1 comment
Open

Precommands and builtins #541

phy1729 opened this issue Oct 1, 2018 · 1 comment

Comments

@phy1729
Copy link
Member

phy1729 commented Oct 1, 2018

sudo echo foo should highlight echo as command not builtin; however, this is not true for all precommands (e.g. noglob preserves builtins).

@danielshahaf
Copy link
Member

One definite rule is: if the precommand is an external command, the following command words are all external commands (through the end of the simple command, e.g., sudo nice env ls).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants