Customizing various Dev Container settings

Add modified settings

1. Open the devcontainer.json file in the editor.

2. 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 the devcontainer.json file and select the appropriate option.

   

Add plugins

1. Open JetBrains marketplace in the browser.

2. Locate the required plugin and open the plugin page.

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

4. Open the devcontainer.json file in the editor.

5. 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.

1. In the Services tool window, select Docker | Dev Containers and the necessary container.

2. Start the container by clicking the Start button.

3. Click and select Show Files.

4. Select .gitconfig in the list of the files.

   The following settings are copied if available:

   user.email, user.name, pull.rebase, alias.*

   The alias.* option means all the alias settings.