a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add $HOME to ./ci/dev/image/run.sh

This commit is contained in:
Anmol Sethi 2020-09-15 10:15:51 -04:00
parent eacca7d692
commit b22f3cb72f
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB
3 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -12,3 +12,4 @@ node_modules
node-* node-*
/plugins /plugins
/lib/coder-cloud-agent /lib/coder-cloud-agent
.home

3
ci/build/clean.sh
View File

@ -14,7 +14,8 @@ main() {
release-images \ release-images \
dist \ dist \
.cache \ .cache \
node-* node-* \
.home
pushd lib/vscode pushd lib/vscode
git clean -xffd git clean -xffd

2
ci/dev/image/run.sh
View File

@ -4,11 +4,13 @@ set -euo pipefail
main() { main() {
cd "$(dirname "$0")/../../.." cd "$(dirname "$0")/../../.."
source ./ci/lib.sh source ./ci/lib.sh
mkdir -p .home
docker run \ docker run \
-it \ -it \
--rm \ --rm \
-v "$PWD:/src" \ -v "$PWD:/src" \
-e HOME="/src/.home" \
-w /src \ -w /src \
-p 127.0.0.1:8080:8080 \ -p 127.0.0.1:8080:8080 \
-u "$(id -u):$(id -g)" \ -u "$(id -u):$(id -g)" \