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

[docs] Elm in Gitpod #508

Merged
merged 4 commits into from
Mar 23, 2021
Merged

[docs] Elm in Gitpod #508

merged 4 commits into from
Mar 23, 2021

Conversation

JesterOrNot
Copy link
Contributor

Add Elm section to the Docs see #383

@JesterOrNot JesterOrNot changed the title [docs] Add Elm in Gitpod [docs] Elm in Gitpod Mar 6, 2020

## Installing Elm

To install Elm please add the following to your [.gitpod.Dockerfile](https://www.gitpod.io/docs/config-gitpod-file/)
Copy link
Contributor

@jankeromnes jankeromnes Mar 26, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is the first instance where you mention .gitpod.Dockerfile in this guide. Maybe some readers will be new to Gitpod, and have no idea what you're talking about.

Please add a brief explanation of what a .gitpod.Dockerfile is, and how to create/use one (e.g. similar to the Scala tutorial, but no need to write several paragraphs of explanations -- I feel like one or two sentences here should be enough).

@jankeromnes
Copy link
Contributor

Hey @JesterOrNot! 😄 Here is another great suggestion for this guide (maybe for the list of external resources): https://github.com/sporto/awesome-elm#tools

@jankeromnes
Copy link
Contributor

@JesterOrNot What is the state of this PR? Can we merge it soon? 🙂

@jankeromnes
Copy link
Contributor

jankeromnes commented Jun 13, 2020

Dumping some useful feedback about Elm tools here so that it doesn't become lost:

there are a few must-have tools like elm-format and elm-test that almost everyone uses in almost all projects, and a few side tools for things like creating and hot-reloading a project like create-elm-app/elm-live/parcel, and some tools for quality like elm-analyse and elm-review

@ghuntley ghuntley self-assigned this Mar 16, 2021
@ghuntley
Copy link
Contributor

@JesterOrNot What is the state of this PR? Can we merge it soon? 🙂

@jankeromnes I'll take over this pull-request and it's ready for review.

@ghuntley ghuntley merged commit 89199e3 into master Mar 23, 2021
@ghuntley ghuntley deleted the sh/elm branch March 23, 2021 00:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants