Navigation Menu

Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Commit

Permalink
Use repl for the gitpod command
Browse files Browse the repository at this point in the history
It actually makes more sense, since the running command takes over a
terminal panel. We might as well use it.
  • Loading branch information
notriddle committed Sep 24, 2019
1 parent 23ef0c3 commit 08c0a48
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .gitpod.yml
Expand Up @@ -2,7 +2,7 @@ image:
file: script/Dockerfile.gitpod
tasks:
- init: script/setup
command: script/server
command: script/repl
ports:
- port: 8000
onOpen: open-preview
Expand Down

0 comments on commit 08c0a48

Please sign in to comment.