Settings Profile (.code-profile) file should be user readable

[alefragnani]

Just tried the Settings Profile feature, which BTW seems really promising, and noticed the .code-profile file is not user readable. I mean ok, it's a JSON file, but it has no spacings/tabs or new lines. It's a single line JSON.

I think you could follow the .code-workspace format, which works just fine for reading and manual editing, when necessary.

Thanks in advance

[Tanimodori]

The .code-profile file seems to have issue with escaping. e.g.

{"settings":"{\"settings\":\"{\\r\\n  \\\"workbench.colorTheme\\\": \\\"Default Dark+\\\",\\r\\n  \\\"editor.fontFamily\\\": \\\"'Sarasa Fixed SC', Consolas, 'Courier New', monospace\\\",\\r\\n  \\\"latex-workshop.latex.tools\\\": [\\r\\n    {\\r\\n      \\\"name\\\": \\\"xelatex\\\",\\r\\n      \\\"command\\\": \\\"xelatex\\\",\\r\\n 
...(ommited)...

[sandy081]

This is not expected to be human readable - May I know the need ?

[alefragnani]

Just like the .code-workspace file, being human readable I'm able to edit it when necessary.

Let's say I need:

• Tweak some setting (for any reason)
• Duplicate a profile, using a different set of extensions for each one

I totally understand some of its data shouldn't be edited, like the globalState, but user settings, keybindings and extensions makes sense to be editable.

[Tanimodori]

The .code-profile is basically a JSON file after all. It contains a lot of \r and \n which seems buggy with char escaping. Please just fix the escape problem to make it human readable.

[sandy081]

This seems to be a good candidate for an extension to view all resources in the .code-profile file and ability to edit and save it.

[vscodenpa]

We try to keep VS Code lean and we think the functionality you're asking for is great for a VS Code extension. Maybe you can already find one that suits you in the VS Code Marketplace. Just in case, in a few simple steps you can get started writing your own extension. See also our issue reporting guidelines.

Happy Coding!