http-request-plugin icon indicating copy to clipboard operation
http-request-plugin copied to clipboard

Added gitpod.Dockerfile

Open iqbalrohail opened this issue 3 years ago • 9 comments
trafficstars

Accommodates Java 17 requirement

  • [X] Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • [X] Ensure that the pull request title represents the desired changelog entry
  • [X] As this plugin is tested with java 17 #98 , I have added a .gitpod.Dockerfile , which will allow developers to easily compile/test the plugin with JDK-17 while keeping the default JDK-11.

iqbalrohail avatar Oct 28 '22 14:10 iqbalrohail

Hello @iqbalrohail ,

Thank you for your pull request. Could you explain/elaborate in the PR description what is the problem you are trying to solve with this PR? If I remember well the default Gitpod image (at least 2 months ago) defaulted to a Java 11. Introducing a dockerfile adds a lot of delay in starting up the environment.

I am further puzzled because you are not including the dockerfile in the gitpod configuration.

jmMeessen avatar Oct 28 '22 14:10 jmMeessen

yes there should be configurations for this in gipod.yml as well

iqbalrohail avatar Oct 28 '22 14:10 iqbalrohail

it will use an updated Gitpod docker image (when using a non-default JDK or tools)

iqbalrohail avatar Oct 28 '22 14:10 iqbalrohail

Can you please elaborate ? I don't understand what you are trying to achieve.

Especially as you are resetting the default JDK to JDK11 ?

My guess is that you want to give the opportunity to developers to easily compile/test the plugin with the bleeding-edge JDK17 (as it is now validated in the Jenkinsfile, see #98 ), while keeping the default JDK to 11. If this is the case, it would be worthwhile to add a note in a dedicated doc file (or start a CONTIBUTING.md doc) how to proceed. WDYT?

jmMeessen avatar Oct 28 '22 14:10 jmMeessen

As i checked that this can be compiled/test with jdk17, so I just added the configurations to check/test this with JDK 17 in a easy way but the default jdk is not changing , it will be jdk 11

iqbalrohail avatar Oct 28 '22 15:10 iqbalrohail

So my guess was right. Very good initiative, @iqbalrohail.

As you have seen, the explanation of what you do and its intend is critical (if you want people to benefit from your work).

I believe that we need to clarify this at least in the PR description. How about adding a note about this in a special doc file, explaining how to switch from JDK when in Gitpod?

jmMeessen avatar Oct 28 '22 15:10 jmMeessen

I have clarified this in PR description

iqbalrohail avatar Oct 28 '22 16:10 iqbalrohail

And how is the eclipse style file change (formatter lines) related to this? :)

jimklimov avatar Nov 03 '22 07:11 jimklimov

@jimklimov sorry i didn't have any idea on this ..

iqbalrohail avatar Dec 02 '22 14:12 iqbalrohail

Closing because Gitpod is changing their business model.

MarkEWaite avatar Sep 27 '25 10:09 MarkEWaite