Gitpod is an open source platform for automated and ready-to-code development environments that blends into your existing workflow. It enables developers to describe their dev environment as code and start instant and fresh development environments for each new task directly from your browser.
Using fpco/stack-build
as a base image.
- GHC (patched)
- Stack
- cabal-install
- Happy
- Alex
- ...
and system developer libraries required to build all Stackage packages.
$ stack new YourProject # Create a project
$ cd YourProject
$ stack setup # Setup everything, this can take a while
$ stack build # Build everything
- Locate the
package.yml
file inside your project. - Append
QuickCheck
to the list of dependencies and save. - Run
stack build
.
dependencies:
- base >= 4.7 && < 5
- QuickCheck
- containers
- ...
When you first create a workspace, it takes time to pull the base image and allocate necessary resources, please be patient.
Subsequent runs should be faster.
Gitpod backs up the state of the
/workspace/
folder between workspace starts, so that you can revisit them later.
Attention: Files in other locations will not be saved!
Any running workspace will automatically stop after some time of inactivity. Normally, this timeout is 30 minutes.
The timeout will always be reset to the full 30 minutes (or other applicable timeout depending on your subscription) by any activity — mouse move or keystroke — in the IDE.
From the settings menu, you can choose between VS Code or Theia the default IDE for you workspaces.