type BLetter = 'A' | 'B' | 'C';
type BNumber = '1' | '2' | '3';

type Board = `${BLetter}${BNumber}`;
//    ^?

After the ^?, type Board = "B1" | "B2" | "B3" | "C1" | "C2" | "C3" | "A1" | "A2" | "A3" will be shown in the IDE.

VS Code is a mostly open-source code editor, with proprietary sprinkles on top, and a proprietary extension marketplace.

VS Codium is a fully open-source alternative based on the same codebase.

VSCode is a high-quality product given for free.

Why is VS Code free?

• good for the reputation of Microsoft as open-source player
• developers are more influential in purchasing their digital products and services than before
• the community is building the majority of the the functionality for other languages and non-core features through extensions.
• it is a cornerstone of their recent online IDE (https://vscode.dev
• a close integration of VS Code with other Microsoft products, it can be touted as a feature to hook people in. See Azure extension for VSCode as example. You can see this integration with GitHub too now, if you press . on any page of a repository
• the author guess that "the philosophy is to make tools for devs, and create an “ecosystem” to sell something extra".
• the telemetry from VS Code gives Microsoft insights on trends and helps with product development. It is a marketing tool for them to gather field research.
• private marketplace: VS Code is configured to use the Microsoft VS Code Marketplace. Its Terms of Use restricts access to Microsoft and GitHub products only. There is nothing stopping Microsoft from changing the marketplace's terms and conditions in the future. That's why is so important. Some VS Code extensions needs VSCode: C# language, C++ language, Live Share, Remote Development extension. These extension sends telemetry (no opt-out).

There is then a comparison of both projects.

Some points about open-vsx and codium projects:

• To publish to the Open VSX marketplace has less requirements and steps than Microsoft’s set-up.
• they both have a cli

Switch to VS Codium? Yes if you

• want to use 100% open-source software
• want to run a private extension registry
• want to support a product that minimises telemetry reporting
• are paranoid about some kind of mischief being afoot with Microsof
• can dismiss the private extension of Microsoft listed above. There is some alternative that needs to be tested though.

VS Code, released by Microsoft, is not open-source software. Microsoft is following the open-core model for the VS Code editor, just like how Google is following an open-core model for its Chrome browser.

Not only the tracking thing, but also

I was increasingly getting upset about their extension marketplace, where there is an increased number of extensions starting to sell pro versions of the extensions we used for free.

But the extension ecosystem for VS COdium has matured, and almost all the open-source extensions for VS Code are now available for VS Codium under the open-vsx extension marketplace.

In the configuration: "workbench.tree.indent": 20 (20 as an example of indent space amount).

Bref, suivre la doc: https://github.com/VSCodium/vscodium/blob/master/DOCS.md#how-to-use-the-vs-code-marketplace

Ok

5. Select all occurences with Ctrl + shift + l
6. Delete a line ctrl shift + k
   I used to ctrl + x for it. But this copy the line to the clipboard. This side effect that we don't want in this case...

And others

To use the marketplace extension for Microsoft, we need to edit the product.json file located in the installation directory:

• on MacOS: /System/Volumes/Data/Applications/VSCodium.app/Contents/Resources/app/product.json
• on Linux: /usr/share/codium/resources/app/product.json

  "extensionsGallery": {
  "serviceUrl": "https://marketplace.visualstudio.com/_apis/public/gallery",
  "cacheUrl": "https://vscode.blob.core.windows.net/gallery/index",
  "itemUrl": "https://marketplace.visualstudio.com/items",
  "controlUrl": "",
  "recommendationsUrl": ""
  },

  Check the link for more.

With the installation of codium with snap, the files are read-only; so it is not possible to change the product.json. The workaround is to install the .deb package.

ou comment effetctuer un backup de la configuration d'un utilisateur

All is explained here : Git can't watch all the files and detect changes between the Working Directory and the Staging Area. The node_modules directory is not ignored as expected.

I am using Ubuntu 20.04. Increasing the limit max_user_watches does not fix it for me (+ I have only 4GB of RAM).

Solution : putting the config from the default config file to the user one :

    "files.watcherExclude": {
        "**/.git/objects/**": true,
        "**/.git/subtree-cache/**": true,
        "**/node_modules/**": true,
        "**/.hg/store/**": true
    },

from the defaultSettings.json (Command palette : Preferences : Open default Settings (JSON)) to the userSettings.json (Command palette : Preferences : Open Settings (JSON)). WTF ?! But cool, it works 😎