Customizing devcontainer.json file
You can customize devcontainer.json
file by adding the required settings, plugins, and so on.
Add modified settings
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 Alt+Enter in the
settings
section of thedevcontainer.json
file and select the appropriate option.
You can also install plugins from the JetBrains marketplace to a Dev Container.
Add plugins
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
.