opensource/coder
3
0
Fork 0
mirror of https://github.com/coder/coder.git synced 2026-09-24 15:04:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

Rename default agent to "main" instead of "dev" (#3150)

Browse Source 
Resolves #3143
This commit is contained in:
Ammar Bandukwala
2022-07-23 20:26:56 +00:00
committed by GitHub
parent 257e52e014
commit f28d14197a
20 changed files with 23 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/dotfiles.md
+2 -2
View File
@@ -22,7 +22,7 @@ variable "dotfiles_uri" {
default = ""
}
resource "coder_agent" "dev" {
resource "coder_agent" "main" {
...
startup_script = var.dotfiles_uri != "" ? "coder dotfiles -y ${var.dotfiles_uri}" : null
}
@@ -41,7 +41,7 @@ In such cases:
- Set the `startup_script` to call a `~/personalize` script that the user can edit
```hcl
resource "coder_agent" "dev" {
resource "coder_agent" "main" {
...
startup_script = "/home/coder/personalize"
}