Customizing devcontainer.json file

Open the devcontainer.json file in the editor.

In the left gutter, click , select Add Modified Settings from IDE.

The settings are added as a customizations section. It might be useful if you want to synchronize both settings or choose some other customization option.

You can also add the non-default application-level settings, modify the added settings options, sort them, or add properties from the JSON schema. Press AltEnter in the settings section of the devcontainer.json file and select the appropriate option.

Open JetBrains marketplace in the browser.

Locate the required plugin and open the plugin page.

On the plugin page, scroll down to the Additional information section and copy plugin ID.

Open the devcontainer.json file in the editor.

Inside the customizations section, add the following code:

{
    "customizations": {
        "jetbrains": {
            "plugins": [
                "org.intellij.plugins.hcl"
            ]
        }
    }
}

The pluginID is the ID of the required plugin from JetBrains marketplace, for example, org.intellij.plugins.hcl.