diff options
| author |   Aric Gardner <agardner@linuxfoundation.org> | 2017-09-11 20:18:30 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2017-09-11 20:18:30 +0000 |
| commit | 7815bb5f470e717ff42c1ee5a18286fd74dd42c9 (patch) | |
| tree | c18a43c187139352c574c5663860681a080b8970 /utils | |
| parent | 1e071cdf92857ed6c419da49a332ab477c833ae7 (diff) | |
| parent | 855fddda18e705c62a90cc86a6d89e45bb804a27 (diff) | |
Merge "Fix for when requiretty is disabled with a !"
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/jenkins-jnlp-connect.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/jenkins-jnlp-connect.sh b/utils/jenkins-jnlp-connect.sh index c46ca89f5..13cb025d6 100755 --- a/utils/jenkins-jnlp-connect.sh +++ b/utils/jenkins-jnlp-connect.sh @@ -52,7 +52,7 @@ main () { fi if [[ $(whoami) != "root" ]]; then - if sudo -l | grep "requiretty"; then + if sudo -l | grep "requiretty | grep -v "\!requiretty"; then echo "please comment out Defaults requiretty from /etc/sudoers" exit 1 fi |