github/dokku
0
0
Fork 0
Code Issues Pull Requests Actions 5 Packages Projects Releases Wiki Activity

Merge pull request #7281 from dokku/devcontainer-hostname

Browse Source 
Set hostname to dokku.me for devcontainer
This commit is contained in:
Jose Diaz-Gonzalez
2024-10-19 04:02:41 -04:00
committed by GitHub
parent 83960e51a2 b6f51bdae3
commit 40ca1fc5e5
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/devcontainer.json
View File

@@ -4,6 +4,7 @@
"context": ".." "context": ".."
}, },
"containerEnv": { "containerEnv": {
"DOKKU_HOSTNAME": "dokku.me",
"DOKKU_HOST_ROOT": "${localWorkspaceFolder}/tmp/data/home/dokku", "DOKKU_HOST_ROOT": "${localWorkspaceFolder}/tmp/data/home/dokku",
"GO_ROOT_MOUNT": "${localWorkspaceFolder}:/go/src/github.com/dokku/dokku" "GO_ROOT_MOUNT": "${localWorkspaceFolder}:/go/src/github.com/dokku/dokku"
}, },