stereobooster / vscode-devcontainer

A VS Code development container for the Unison Codebase Manager.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This is a VS Code development container for the Unison Codebase Manager.

You can check that first link for the full details of how to get set up to use VS Code development containers, but the gist of it is:

  1. Install Docker.
  2. Install the Remote Development extension pack.
  3. Clone this repo.
  4. In VS Code, either:
    • "Open folder..." the cloned repo, then click the "Reopen in container" button that appears in the lower right. OR
    • F1 and "Remote-Containers: Open Folder in Container..." the cloned repo.
  5. In VS Code, open a New Terminal from the Terminal menu.
  6. Run ucm init; ucm.

Disclaimer: I don't really know how VS Code containers work, so be sure to push your codebase somewhere safe as a backup!

Improvements, suggestions, and simplifications are welcome!

About

A VS Code development container for the Unison Codebase Manager.


Languages

Language:Dockerfile 100.0%