You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
a devcontainer's container labels encompass devcontainer.config_file: this label's value specifies a path to the devcontainer.json from the perspective of the devcontainer's container engine.
the referenced config file in JSON format contains the .name field that specifies the, well, name of the dev container.
A devcontainer decorator thus could be able to retrieve the names of devcontainers and set them as "aliases"/user-facing names (as opposed to container IDs), overriding the Docker autogenerated devcontainer name. Alternatively, the UI rendering could render an additional devcontainer name property on top of the standard container name rendering.
The text was updated successfully, but these errors were encountered:
devcontainer.config_file
: this label's value specifies a path to thedevcontainer.json
from the perspective of the devcontainer's container engine..name
field that specifies the, well, name of the dev container.A
devcontainer
decorator thus could be able to retrieve the names of devcontainers and set them as "aliases"/user-facing names (as opposed to container IDs), overriding the Docker autogenerated devcontainer name. Alternatively, the UI rendering could render an additional devcontainer name property on top of the standard container name rendering.The text was updated successfully, but these errors were encountered: