If a profile does not have a GUID, generate one for it #2943

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

Originally created by @zadjii-msft on GitHub (Jul 25, 2019).

Originally assigned to: @zadjii-msft on GitHub.

When loading the profiles.json, if a profile doesn't have a GUID associated with it, we should auto-gen one for them.

If the GUID they've specified is {0}, that's a fine and reasonable GUID, but null is not.

Originally created by @zadjii-msft on GitHub (Jul 25, 2019). Originally assigned to: @zadjii-msft on GitHub. When loading the profiles.json, if a profile _doesn't_ have a GUID associated with it, we should auto-gen one for them. If the GUID they've specified is {0}, that's a fine and reasonable GUID, but `null` is not.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#2943