mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
[PR #477] [MERGED] Require global settings file to use pkl:settings
#574
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/apple/pkl/pull/477
Author: @bioball
Created: 5/6/2024
Status: ✅ Merged
Merged: 5/7/2024
Merged by: @bioball
Base:
main← Head:settings-module-cleanup📝 Commits (1)
a9918aaRequire global settings file to usepkl:settings📊 Changes
5 files changed (+19 additions, -19 deletions)
View changed files
📝
pkl-core/src/main/java/org/pkl/core/PClassInfo.java(+3 -0)📝
pkl-core/src/main/java/org/pkl/core/runtime/SettingsModule.java(+2 -2)📝
pkl-core/src/main/java/org/pkl/core/settings/PklSettings.java(+6 -14)📝
pkl-core/src/main/resources/org/pkl/core/errorMessages.properties(+0 -3)📝
pkl-core/src/test/kotlin/org/pkl/core/settings/PklSettingsTest.kt(+8 -0)📄 Description
This is technically a breaking change, but follows the intended use-case and documentation of settings.
~/.pkl/settings.pklamends stdlib modulepkl:settings, or otherwise setsoutput.valueto an instance ofpkl.Settings.PklSettings.java🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.