Skip to content

docs: add usage in Coder #5975

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Jan 27, 2023
Merged

docs: add usage in Coder #5975

merged 6 commits into from
Jan 27, 2023

Conversation

jsjoeio
Copy link
Contributor

@jsjoeio jsjoeio commented Jan 18, 2023

  • docs: add difference between Coder
  • fixup
  • docs: add new doc coder.md under Install
  • refactor: move coder docs to usage

Fixes #5508

Add a short block explaining the difference between code-server and
Coder.
This adds a new doc explaining how to install code-server in a Coder
workspace using Terraform.
@jsjoeio jsjoeio self-assigned this Jan 18, 2023
@jsjoeio jsjoeio added the docs Documentation related label Jan 18, 2023
@github-actions
Copy link

github-actions bot commented Jan 18, 2023

✨ code-server docs for PR #5975 is ready! It will be updated on every commit.

@jsjoeio jsjoeio changed the title jsjoeio/docs coder docs: add usage in Coder Jan 18, 2023
@jsjoeio jsjoeio marked this pull request as ready for review January 18, 2023 22:38
@jsjoeio jsjoeio requested a review from a team as a code owner January 18, 2023 22:38
@jsjoeio jsjoeio temporarily deployed to npm January 18, 2023 22:41 — with GitHub Actions Inactive
@github-actions
Copy link

✨ code-server dev build published to npm for PR #5975!

  • Last publish status: success
  • Commit: e00efba

To install in a local project, run:

npm install @coder/code-server-pr@5975

To install globally, run:

npm install -g @coder/code-server-pr@5975

@code-asher code-asher enabled auto-merge (squash) January 27, 2023 16:56
@code-asher code-asher merged commit 401d423 into main Jan 27, 2023
@code-asher code-asher deleted the jsjoeio/docs-coder branch January 27, 2023 17:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Docs]: Coder vs. Code Server?
2 participants