rmuir opened a new pull request, #15395: URL: https://github.com/apache/lucene/pull/15395
Add devcontainer.json to support one-click development environment. It installs java 25, runs `gradlew eclipse`, and installs the correct extensions. No popups or confirmations required. Only GitHub codespaces has been tested. Set "Standard" launch mode, the "Lightweight" mode initially started by the default "Hybrid" setup will spew nonsensical diagnostic errors. This is very confusing as it makes the setup appear broken, for a potentially long time, until the "Standard" server is finished indexing (takes ~5mins on my machine). Improve the completion speed, by reducing the amount of auto-imported stuff (favorite static members). Enable inlay hints for inferred variable types (`var` keyword), and inferred parameter types (lambdas). Remove telemetry popup for Red Hat Language Server. Local VSCode user must still deal with 3 popups. but 3 is better than 4. Remove ast-grep extension which errors-out if the binary isn't installed locally. User can install themselves if wanted. Remove @SuppressForbidden from WrapperDownloader which breaks javac when the wrapper is used. This file will need to be excluded via some other mechanism. Fix outdated 'java 23' in gradlew error code. <img width="935" height="640" alt="Screen_Shot_2025-11-02_at_18 38 56" src="https://github.com/user-attachments/assets/580a1c43-8a28-46d2-a992-c46c47ebc32b"; /> <img width="1914" height="1015" alt="Screen_Shot_2025-11-02_at_18 58 14" src="https://github.com/user-attachments/assets/b8fc612c-f29b-4a8c-8e62-3abd6142e461"; /> <img width="1917" height="1022" alt="Screen_Shot_2025-11-02_at_19 03 33" src="https://github.com/user-attachments/assets/780e1ea7-453c-4800-82e4-ece764741a86"; /> -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
