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.

Sign up for GitHub

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

Jump to bottom

Use sudo -v rather than sudo -V ? #401

Open
cmcaine opened this issue Jun 3, 2019 · 0 comments · May be fixed by #402
Open

Use sudo -v rather than sudo -V ? #401

cmcaine opened this issue Jun 3, 2019 · 0 comments · May be fixed by #402

Comments

@cmcaine
Copy link

cmcaine commented Jun 3, 2019

On the two systems I have access to, sudo -V succeeds even if you don't have sudo. sudo -v fails on both if you don't have sudo and succeeds if you do.
@cmcaine cmcaine linked a pull request Jun 3, 2019 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use sudo -v to test for sudo permissions cmcaine/BinDeps.jl
1 participant
@cmcaine