Skip to content

utahplt/forge-gitpod

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
Jan 21, 2024
Jan 15, 2024
Jan 21, 2024
Jan 15, 2024
Jan 15, 2024
Jan 15, 2024
Jan 21, 2024

Repository files navigation

PBT GitPod

Setup

  1. Sign up for a GitHub account
  2. Go to https://gitpod.io/#https://github.com/utahplt/forge-gitpod
    • Log in with GitHub
  3. Wait for VSCode to appear
  4. Go to https://gitpod.io, find the new workspace, click the ... on the right, and pin this workspace.
    • If you don't pin it, GitPod may throw it away after N days!!

Usage

Write code in VSCode like normal.

Run code from the terminal:

racket FILE.frg