From fc8e218bddf2afc658a2b30892e31b863b69bf5e Mon Sep 17 00:00:00 2001 From: Christof Marti Date: Tue, 18 Jul 2023 16:05:13 +0200 Subject: [PATCH] Record identifiers in lowercase --- proposals/devcontainer-lockfile.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/proposals/devcontainer-lockfile.md b/proposals/devcontainer-lockfile.md index 8d5babdb..d35a41b4 100644 --- a/proposals/devcontainer-lockfile.md +++ b/proposals/devcontainer-lockfile.md @@ -19,6 +19,8 @@ Each feature is recorded with the identifier and version it is referred to in th - `integrity`: `sha256:` followed by the hex encoded SHA-256 checksum of the download artifact. - `dependsOn`: An array of feature identifiers equal to the feature's `dependsOn` keys in its `devcontainer-feature.json` including any version or checksum suffix. If the array is empty, this property can be omitted. For every feature listed here, the lockfile will also have a feature record. +The feature identifiers recorded as keys and in the `dependsOn` arrays are converted to lowercase to simplify lookups and comparisons. Note that the `devcontainer.json` and `devcontainer-features.json` may refer to the same features with different casing because these identifiers are not case-senstive. + Local features and the deprecated GitHub releases features are not recorded in the lockfile. The lockfile is named `devcontainer-lock.json`, is located in the same folder as the `devcontainer.json` and contains a JSON object with a `"features"` property holding the above keys.