Skip to content

Commit 0d9282b

Browse files
chore: Add support for launching a Gitpod by specifying build image (#1127)
1 parent 2987210 commit 0d9282b

File tree

2 files changed

+18
-0
lines changed

2 files changed

+18
-0
lines changed

.gitpod.Dockerfile

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
FROM gitpod/workspace-full
2+
3+
ENV PATH="/workspace/grain/node_modules/.bin:$PATH"

.gitpod.yml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
# This configuration file was automatically generated by Gitpod.
2+
# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file)
3+
# and commit this file to your remote git repository to share the goodness with others.
4+
5+
image:
6+
file: .gitpod.Dockerfile
7+
8+
tasks:
9+
- init: |
10+
yarn --pure-lockfile
11+
yarn compiler build
12+
vscode:
13+
extensions:
14+
- ocamllabs.ocaml-platform
15+
- grain-lang.vscode-grain

0 commit comments

Comments
 (0)