bobcanthelpyou opened a new pull request #3595: [MINOR] Use KERBEROS_REFRESH_INTERVAL in docs URL: https://github.com/apache/zeppelin/pull/3595 ### What is this PR for? In the PR https://github.com/apache/zeppelin/pull/2443/files the ENV `LAUNCH_KERBEROS_REFRESH_INTERVAL` was renamed to `KERBEROS_REFRESH_INTERVAL` The old ENV name is still used in the shell documentation ### What type of PR is it? [Documentation] ### What is the Jira issue? * https://issues.apache.org/jira/browse/ZEPPELIN-4553
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
