RepoMirrors
/
prometheus
mirror of https://github.com/prometheus/prometheus
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9347 from prometheus/fix-gitpod 

Fix gitpod
This commit is contained in:
Julius Volz 2021-09-28 07:50:00 +02:00 committed by GitHub
parent eca9546ba4 722eb4bd64
commit 0dc43b97d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.gitpod.Dockerfile vendored Normal file
View File

@ -0,0 +1,7 @@
FROM gitpod/workspace-full
ENV CUSTOM_NODE_VERSION=16
RUN bash -c ". .nvm/nvm.sh && nvm install ${CUSTOM_NODE_VERSION} && nvm use ${CUSTOM_NODE_VERSION} && nvm alias default ${CUSTOM_NODE_VERSION}"
RUN echo "nvm use default &>/dev/null" >> ~/.bashrc.d/51-nvm-fix

5
.gitpod.yml
View File

@ -1,4 +1,5 @@
--- image:
file: .gitpod.Dockerfile
tasks: tasks:
- init: - init:
make build make build
@ -6,7 +7,7 @@ tasks:
gp sync-done build gp sync-done build
./prometheus --config.file=documentation/examples/prometheus.yml ./prometheus --config.file=documentation/examples/prometheus.yml
- command: | - command: |
cd web/ui/react-app cd web/ui/
gp sync-await build gp sync-await build
unset BROWSER unset BROWSER
export DANGEROUSLY_DISABLE_HOST_CHECK=true export DANGEROUSLY_DISABLE_HOST_CHECK=true