redhat-developer / redhat-developer/vscode-java

feature request: select java runtime in vs code settings

Đang mở
#1,684 4 bình luận 0 reaction 1 người được giao Xem trên GitHub

@testforstephen đang làm issue này rồi.

Từ ngày 18/12/2020.

preferences
Ngôn ngữ chính
TypeScript
Star
2.3k
Fork
546
Merge trung bình
20 giờ 1 phút
Pull request đã merge (30 ngày)
11

Mô tả

The current state of Java runtime support seems to be:

  • this extension needs Java 11
  • you can specify available runtimes in java.configuration.runtimes
  • however you can't specify/force which of these versions to use in a project; instead there's some auto detection that looks into eclipse/maven/gradle config

As we see in #1543 a lot of people are not happy with this situation. Me neither. Please add runtime selection in VS Code settings, so that one can force the usage of e.g. JavaSE-1.8 per workspace or even per directory.

Environment
  • Operating System: Windows 10
  • JDK version: OpenJDK 11 and Corretto JDK 8
  • Visual Studio Code version: 1.50.1
  • Java extension version: redhat.java v0.69.0, vscjava.vscode-java-pack v0.10.0
Steps To Reproduce
  1. install JDK 8
  2. install JDK 11 (-> system default)
  3. open vs code
  4. open a Java project and try to build it with JDK 8 (without changing java.home, because VS Code Java extension requires JDK 11)
Current Result

autodetection might work if eclipse/mvn/gradle settings are found that specify Java 8, otherwise JDK 11 is being used

Expected Result

usage of JDK 8 can be forced by VS Code settings per workspace or per directory

Additional Informations

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.