diff options
| author |   agardner <agardner@linuxfoundation.org> | 2017-09-08 16:22:08 -0400 |
|---|---|---|
| committer | agardner <agardner@linuxfoundation.org> | 2017-09-08 16:22:08 -0400 |
| commit | 855fddda18e705c62a90cc86a6d89e45bb804a27 (patch) | |
| tree | 020e68f1349eb94a3e965e5eef85008c6db53ba8 /utils | |
| parent | bbb0b46e10da23efe6a12c580164e103eb71b334 (diff) | |
Fix for when requiretty is disabled with a !
you can disable requiretty by !requiretty or #requiretty
so catch both of those cases
Change-Id: Ic7fb1cf97849258b1e4db34be82794918bf722e0
Signed-off-by: agardner <agardner@linuxfoundation.org>
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 |