chore: remove ALL option from gateway plugin

pull/42/head
Muhammad Atif Ali 2 years ago committed by GitHub
parent b18ac37cbb
commit b8f8b7edd0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -20,7 +20,7 @@ module "jetbrains_gateway" {
agent_id = coder_agent.main.id agent_id = coder_agent.main.id
agent_name = "main" agent_name = "main"
project_directory = "/home/coder/project" project_directory = "/home/coder/project"
gateway_ide_product_code = ["GO","WS"] # A list of JetBrains product codes use ["ALL"] for all products gateway_ide_product_code = ["GO","WS"]
} }
``` ```

Loading…
Cancel
Save