mirror of
https://github.com/coder/coder.git
synced 2025-07-18 14:17:22 +00:00
feat: allow specifying devcontainer on agent in terraform (#16997)
This change allows specifying devcontainers in terraform and plumbs it through to the agent via agent manifest. This will be used for autostarting devcontainers in a workspace. Depends on coder/terraform-provider-coder#368 Updates #16423
This commit is contained in:
committed by
GitHub
parent
287e3198d8
commit
69ba27e347
@ -0,0 +1,19 @@
|
||||
CREATE TABLE workspace_agent_devcontainers (
|
||||
id UUID PRIMARY KEY,
|
||||
workspace_agent_id UUID NOT NULL,
|
||||
created_at TIMESTAMPTZ NOT NULL DEFAULT now(),
|
||||
workspace_folder TEXT NOT NULL,
|
||||
config_path TEXT NOT NULL,
|
||||
FOREIGN KEY (workspace_agent_id) REFERENCES workspace_agents(id) ON DELETE CASCADE
|
||||
);
|
||||
|
||||
COMMENT ON TABLE workspace_agent_devcontainers IS 'Workspace agent devcontainer configuration';
|
||||
COMMENT ON COLUMN workspace_agent_devcontainers.id IS 'Unique identifier';
|
||||
COMMENT ON COLUMN workspace_agent_devcontainers.workspace_agent_id IS 'Workspace agent foreign key';
|
||||
COMMENT ON COLUMN workspace_agent_devcontainers.created_at IS 'Creation timestamp';
|
||||
COMMENT ON COLUMN workspace_agent_devcontainers.workspace_folder IS 'Workspace folder';
|
||||
COMMENT ON COLUMN workspace_agent_devcontainers.config_path IS 'Path to devcontainer.json.';
|
||||
|
||||
CREATE INDEX workspace_agent_devcontainers_workspace_agent_id ON workspace_agent_devcontainers (workspace_agent_id);
|
||||
|
||||
COMMENT ON INDEX workspace_agent_devcontainers_workspace_agent_id IS 'Workspace agent foreign key and query index';
|
Reference in New Issue
Block a user