Add default profile to user json if it is not specified #8617

Open
opened 2026-01-31 01:33:55 +00:00 by claunia · 0 comments
Owner

Originally created by @Karl-WE on GitHub (May 27, 2020).

Description of the new feature/enhancement

Current version generates two settings json files. A baseline that may not be edited (ctrl+settings) and a user locale one that is generated too, but which can be edited by a user.

Both will have auto generated profiles for recognized products ex. PoSh 7, cmd etc.

That's great.

For all users that might not want to dig deep into all possible settings that a json can possibly hold it's not easy to understand without reading docs and knowing of the existence of the global settings json how to alter a default console / profile

Again changing the default json isn't possible.

Adding a default profile (console)
manually can be quite some work.

It is more prone to user errors when setting this up or copy and adding from the default json. Especially json formatting issues without using a proper editor like VSC. Not all might want to install VSC or other code aware editors as notepad++ but by default we have Microsoft Notepad (app).

Currently the local user json is missing this the line for the default profile.

Mind Terminal users aren't necessarily Devs. #NotADev

Proposed technical implementation details (optional)

Please while generating the user local json, parse if it does contain a line for a default profile

Add default profile otherwise as in global settings json.

If it does exist don't touch.

This would ease the usage for new users.

Originally created by @Karl-WE on GitHub (May 27, 2020). # Description of the new feature/enhancement Current version generates two settings json files. A baseline that may not be edited (ctrl+settings) and a user locale one that is generated too, but which can be edited by a user. Both will have auto generated profiles for recognized products ex. PoSh 7, cmd etc. That's great. For all users that might not want to dig deep into all possible settings that a json can possibly hold it's not easy to understand without reading docs and knowing of the existence of the global settings json how to alter a default console / profile Again changing the default json isn't possible. Adding a default profile (console) manually can be quite some work. It is more prone to user errors when setting this up or copy and adding from the default json. Especially json formatting issues without using a proper editor like VSC. Not all might want to install VSC or other code aware editors as notepad++ but by default we have Microsoft Notepad (app). Currently the local user json is missing this the line for the default profile. Mind Terminal users aren't necessarily Devs. #NotADev # Proposed technical implementation details (optional) Please while generating the user local json, parse if it does contain a line for a default profile Add default profile otherwise as in global settings json. If it does exist don't touch. This would ease the usage for new users.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#8617