Skip to content

Commit

Permalink
Update check_and_update_jdk.py
Browse files Browse the repository at this point in the history
> Since [b1d0831](b1d0831) , we took advantage of [settings groups](https://code.visualstudio.com/docs/getstarted/settings#_settings-groups), which made the configuration object contain a list of the groups, each containing a properties objects.
  • Loading branch information
mavaddat authored Jan 10, 2024
1 parent 64e7ffe commit 17737b1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/scripts/check_and_update_jdk.py
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@
package = json.load(f)

# Add the latest JDK version to the java.configuration.runtimes array
package['contributes']['configuration']['properties']['java.configuration.runtimes']['items']['enum'].append(f'JavaSE-{latest_jdk}')
next(filter(lambda e: e['id'] == "java-jdks", package['contributes']['configuration']))['properties']['java.configuration.runtimes']['items']['properties']['name']['enum']

# Write the updated package.json file
with open('package.json', 'w') as f:
Expand Down

0 comments on commit 17737b1

Please sign in to comment.