Menu commands
Docker menu
Menu command | Description |
---|---|
Configure Docker Host | Enables you to add or remove a Docker host for monitoring. |
Configure JAVA Home | Enables you to set the Java home directory for your own Java Runtime Environment (JRE) if you are not using the JRE that is installed with the PATROL Agent. |
Tip: For faster searching, add an asterisk to the end of your partial query. Example: cert*