JSON patching is hard #3941

Closed
opened 2026-01-30 23:33:53 +00:00 by claunia · 2 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:53 +00:00
Author
Owner

@DHowett-MSFT commented on GitHub (Apr 24, 2020):

meh, literally nobody's reported this. Moving it to 1.1

@DHowett-MSFT commented on GitHub (Apr 24, 2020): meh, literally nobody's reported this. Moving it to 1.1
Author
Owner

@zadjii-msft commented on GitHub (Dec 9, 2021):

Since we're not json patching anymore, I'm moving this to closed

@zadjii-msft commented on GitHub (Dec 9, 2021): Since we're not json patching anymore, I'm moving this to _closed_
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#3941