Adición de características a un archivo devcontainer.json

1. Vaya al repositorio en GitHub, busque el archivo devcontainer.json y haga clic en para editar el archivo.

   Si aún no tienes un archivo devcontainer.json, puedes crearlo ahora. Para obtener más información, vea «Introducción a los contenedores dev».

2. A la derecha del editor de archivos, en la pestaña Marketplace, busca la característica que quieres agregar y, luego, haz clic en el nombre de la característica.

   

3. En "Instalación", haz clic en el fragmento de código para copiarlo en el Portapapeles y, luego, pégalo en el objeto features del archivo devcontainer.json.

   

   "features": {
        // ...
        "ghcr.io/devcontainers/features/terraform:1": {},
        // ...
    }
   

4. De forma predeterminada, se usará la versión más reciente de la característica. Para elegir una versión diferente o configurar otras opciones para la característica, expande las propiedades enumeradas en "Opciones" para ver los valores disponibles y, luego, edita manualmente el objeto devcontainer.json en el archivo para agregar las opciones.

   

   "features": {
        // ...
        "ghcr.io/devcontainers/features/terraform:1": {
            "version": "1.1",
            "tflint": "latest"
        },
        // ...
    }
   

5. Confirma los cambios en el archivo devcontainer.json.

Los cambios de configuración surtirán efecto en los nuevos codespaces creados desde el repositorio. Para que los cambios surtan efecto en los codespaces existentes, deberás extraer las actualizaciones del archivo devcontainer.json en el codespace y, luego, recompilar el contenedor para el codespace. Para obtener más información, vea «Introducción a los contenedores dev».