unisonweb / 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. If no terminal appears in VS Code, open a New Terminal from the Terminal menu.
  6. Inside that terminal, run ucm --codebase-create ./devCodebase to create a codebase.
  7. Run ucm to start developing!

Your codebase should be persisted even after rebuilding the container, but don't forget to also push it somewhere safe as a backup!

Improvements, suggestions, and simplifications are welcome!

Note: when running ucm, you'll get a message like:

  The Unison Codebase UI is running at
  http://127.0.0.1:39189/LMvqYeofPKwM7uOh5b7A%2FbtEM8tuN%2F%2Fu/ui

You should be able to ctrl-click on that link in your terminal to open the UI, but due to a bug in VSCode, the link will get messed up. Specifically, the %2F in the link will be converted to /s in your browser. You'll have to copy/paste a bit to get it back to normal, and then it should work.

About

A VS Code development container for the Unison Codebase Manager.


Languages

Language:Dockerfile 100.0%