JSON patching is hard #3939

Open
opened 2026-01-30 23:33:48 +00:00 by claunia · 0 comments
Owner

Originally created by @zadjii-msft on GitHub (Sep 18, 2019).

Originally assigned to: @DHowett on GitHub.

git push github HEAD:refs/heads/dev/migrie/b/json-patching-is-hard thanks @DHowett-MSFT for putting this out there

user settings is "{}" -- AppendDynamic transforms that into , { guid, name commandline }, {guid, name, ...}{}

user settings is {"profiles":[]} gets transformed into something lovecraftian too

Let's add some tests for these, and fix them.

Originally created by @zadjii-msft on GitHub (Sep 18, 2019). Originally assigned to: @DHowett on GitHub. `git push github HEAD:refs/heads/dev/migrie/b/json-patching-is-hard` thanks @DHowett-MSFT for putting this out there > user settings is "{}" -- AppendDynamic transforms that into , { guid, name commandline }, {guid, name, ...}{} > user settings is {"profiles":[]} gets transformed into something lovecraftian too Let's add some tests for these, and fix them.
claunia added the Area-SettingsIssue-BugNeeds-Tag-FixProduct-TerminalPriority-2 labels 2026-01-30 23:33:49 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#3939