search

snehaljha / local-tomcat

GNU General Public License v3.0
5 stars 10 forks source link

It would be nice to have an option to specify JAVA_HOME #18

Open fp024 opened 1 week ago

fp024 commented 1 week ago

Hello.

It would be nice to have an option and relevant feature in the local-tomcat settings in settings.json to specify the JAVA_HOME to use when running Tomcat.

{
  "local-tomcat.tomcatInstances": [
    {
      "name": "tomcat-10.x",
      "catalinaHome": "C:\\Tomcat\\10",
      "deploymentPort": 8080,
      "javaHome": "C:\\JDK\\17"  // <-- 💡
    },  
    {
      "name": "tomcat-9.0.x",
      "catalinaHome": "C:\\Tomcat\\9",
      "deploymentPort": 8080,
      "javaHome": "C:\\JDK\\11"  // <-- 💡
    }
  ],
  "local-tomcat.warDir": "target"
}

I thought it would be better if I could set it up the same way as above, somehow.

Thanks. Have a nice day. 👍

snehaljha commented 1 week ago

Hey, I like the idea. It's something good to have. Will definitely look into this. Thanks for your suggestion.